continuous: Kill the boot process when various signals are received
authorMichal Sojka <sojkam1@fel.cvut.cz>
Thu, 10 Apr 2014 16:33:18 +0000 (18:33 +0200)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Thu, 10 Apr 2014 16:33:18 +0000 (18:33 +0200)
commit5e86a605b58d5c3717b81528df44c73d9d1aaf25
treee09cfe00e35102cb131d4a50ba8b0fb960f166a2
parent94787176c31362bb000c93f05d1b4180fa18aae3
continuous: Kill the boot process when various signals are received

This is needed when run.pl is run under timeout utility. It sends the TERM
signal to the children.
continuous/gw-setup/run.pl