run-*d.sh: really fix --shell support when interrupted
commit9536e540b6890b824f9dab10357cb75f446f3ab3
authorKyle J. McKay <mackyle@gmail.com>
Sat, 15 Feb 2014 06:03:22 +0000 (14 22:03 -0800)
committerKyle J. McKay <mackyle@gmail.com>
Sat, 15 Feb 2014 06:03:22 +0000 (14 22:03 -0800)
tree0f83586a5e2a365ce701e1dcb2c814f0d1bd8a48
parenta0ffdb3aa02441c07e281642ff6d6ad2f9c9eed4
run-*d.sh: really fix --shell support when interrupted

201a5d4a did not go far enough.  The interrupting signal needs to
be ignored in the parent shell in order to successfully implement
the --shell option.
toolbox/run-jobd.sh
toolbox/run-taskd.sh