hgext/inotify/server.py
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)