blob: b02440cc2b17a09772489b8d1546ad3f7a057c77 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
#! /bin/bash
while true
do
sleep 30m
# If nothing has been written to the log for 30 minutes then we assume
# pbot is dead.
if [[ -z $(find logs/ -iname 'raw.log' -mmin -30) ]]
then
# 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 )
# Start pbot
cd /home/pbot
./envbot &
# The following commented because labs is down
# ./labs_change_detector &
fi
done
|