[PATCH 4 of 4] inotify: don't pass pidfile option to child

[Siddharth Agarwal]

# HG changeset patch
# User Siddharth Agarwal <sid0 at fb.com>
# Date 1380749065 25200
#      Wed Oct 02 14:24:25 2013 -0700
# Node ID 104ddc0c8ccaeb22fc01a285b08db1cd2e86561f
# Parent  567a2b3f19214d776ca20ac0e44b206b75e6580c
inotify: don't pass pidfile option to child

The child no longer needs it.

diff --git a/hgext/inotify/server.py b/hgext/inotify/server.py
--- a/hgext/inotify/server.py
+++ b/hgext/inotify/server.py
@@ -454,7 +454,6 @@
     opts.setdefault('pid_file', '')
     if opts['daemon'] and pidfile is not None and not opts['pid_file']:
         opts['pid_file'] = pidfile
-        runargs.append("--pid-file=%s" % pidfile)
 
     service = service()
     logfile = ui.config('inotify', 'log')