# HG changeset patch
# User Nicolas Dumazet <nicdumz.commits@gmail.com>
# Date 1244909690 -7200
# Node ID 72af80052bd99421b824019bc4c7e6347189720a
# Parent  e0ed17984a481ed6de6e5c86d45e66d9292da94b
inotify: add log config option redirect inotify server output to a file

diff -r e0ed17984a48 -r 72af80052bd9 hgext/inotify/__init__.py
--- a/hgext/inotify/__init__.py	Mon May 25 18:14:32 2009 +0900
+++ b/hgext/inotify/__init__.py	Sat Jun 13 18:14:50 2009 +0200
@@ -37,7 +37,9 @@
                 self.master.shutdown()
 
     service = service()
-    cmdutil.service(opts, initfn=service.init, runfn=service.run)
+    logfile = ui.config('inotify', 'log')
+    cmdutil.service(opts, initfn=service.init, runfn=service.run,
+                    logfile=logfile)
 
 def debuginotify(ui, repo, **opts):
     '''debugging information for inotify extension