changeset 10013 | b2e87fde6806 |
parent 9933 | 2e7902158af9 |
child 10090 | a3ad96ead8f0 |
--- a/hgext/inotify/server.py Tue Dec 01 11:28:31 2009 +0900 +++ b/hgext/inotify/server.py Tue Dec 01 09:53:02 2009 +0900 @@ -482,5 +482,8 @@ service = service() logfile = ui.config('inotify', 'log') + + appendpid = ui.configbool('inotify', 'appendpid', False) + cmdutil.service(opts, initfn=service.init, runfn=service.run, - logfile=logfile, runargs=runargs) + logfile=logfile, runargs=runargs, appendpid=appendpid)