run-jobd/run-taskd: use --same-pid option
commit28299871b31f2c7d4644fa06d1453b7242ca244e
authorKyle J. McKay <mackyle@gmail.com>
Mon, 28 Nov 2016 00:56:08 +0000 (27 16:56 -0800)
committerKyle J. McKay <mackyle@gmail.com>
Mon, 28 Nov 2016 00:56:08 +0000 (27 16:56 -0800)
treee35705efd912e23d329c5b0ed9d98274810f6a19
parent7800172016bbdd62cac423b7df873a8677991910
run-jobd/run-taskd: use --same-pid option

Both run-jobd.sh and run-taskd.sh expect jobd.pl and taskd.pl
respectively to remain responsive to Ctrl-C etc.  In order to
do this they need to keep the same process id when performing
a graceful restart.

Pass the --same-pid option to make this happen.

Signed-off-by: Kyle J. McKay <mackyle@gmail.com>
toolbox/run-jobd.sh
toolbox/run-taskd.sh