diff options
author | Joseph Graham <joseph@fibreglass.tunachunks> | 2014-07-13 07:22:25 +0100 |
---|---|---|
committer | Joseph Graham <joseph@fibreglass.tunachunks> | 2014-07-13 07:22:25 +0100 |
commit | 71ea6c173bd77f8c756a9471b16c92179013358d (patch) | |
tree | 2fe08711f8898ee7e6b5e5e04c99ec2d9a5eeee2 | |
parent | aa16e5554ebef645fbceefc4b20d8dfb3923e926 (diff) |
Added a startup script
-rw-r--r-- | pbot | 29 |
1 files changed, 29 insertions, 0 deletions
@@ -0,0 +1,29 @@ +#! /bin/bash + +declare -a pids + +cd /home/pbot + +./envbot & +pids[0]=$! + +./pbot-ng_fixer & +pids[1]=$! + +./labs_change_detector & +pids[2]=$! + +function closedown +{ + for pid in ${pids[@]} + do + kill $pid + done +} + +trap "closedown" SIGINT SIGTERM + +while true +do + sleep 5h +done |