hgext/inotify/server.py
changeset 11943 2d3cbcace897
parent 11567 34cc8b84407f
child 12650 fed4bb2c8def
--- a/hgext/inotify/server.py	Tue Aug 17 17:46:10 2010 +0200
+++ b/hgext/inotify/server.py	Fri Aug 13 13:16:34 2010 -0400
@@ -484,5 +484,6 @@
 
     appendpid = ui.configbool('inotify', 'appendpid', False)
 
+    ui.debug('starting inotify server: %s\n' % ' '.join(runargs))
     cmdutil.service(opts, initfn=service.init, runfn=service.run,
                     logfile=logfile, runargs=runargs, appendpid=appendpid)