diff options
author | Joseph Graham <joseph@fibreglass.tunachunks> | 2014-07-13 09:15:32 +0100 |
---|---|---|
committer | Joseph Graham <joseph@fibreglass.tunachunks> | 2014-07-13 09:15:32 +0100 |
commit | 72beb631b6cb3a3a47f0b715efbbd22a70238084 (patch) | |
tree | 8e51bde9627a38b913b2a87744ff544232beb2b8 /pbot-ng_fixer | |
parent | 04ae3ed75a674bee5b36a38d9f613b7f70be8d3f (diff) |
s/pbot-ng/pbot/
Diffstat (limited to 'pbot-ng_fixer')
-rwxr-xr-x | pbot-ng_fixer | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/pbot-ng_fixer b/pbot-ng_fixer index 078f587..b7ae075 100755 --- a/pbot-ng_fixer +++ b/pbot-ng_fixer @@ -5,18 +5,18 @@ do sleep 30m # If nothing has been written to the log for 30 minutes then we assume - # pbot-ng is dead. + # pbot is dead. if [[ -z $(find logs/ -iname 'raw.log' -mmin -30) ]] then - # Kill all pbot-ng processes + # Kill all pbot processes while read -r line do # If it's not the pid of this process then kill it. [[ "${line}" != "$$" ]] && kill "${line}" &>/dev/null - done < <( pgrep -u pbot-ng ) + done < <( pgrep -u pbot ) - # Start pbot-ng - cd /home/pbot-ng + # Start pbot + cd /home/pbot ./envbot & ./labs_change_detector & |