diff contrib/synthrepo.py @ 19866:993b24488679

inotify: add pidfile to parent options An upcoming patch will move pidfile writing from the parent to the child. This means that if the pid file isn't specified on the command-line but is specified as a config option, it needs to be added to the parent's opts dict.
author Siddharth Agarwal <sid0@fb.com>
date Wed, 02 Oct 2013 14:20:26 -0700
parents ff1586a3adc5
children 05e58b08fdfe
line wrap: on
line diff