firebot/health.sh

#! /bin/sh
## Restart the bot if it's not running

# You can specify which bot to run as a command line option;
# default gallium
bot=${1:-gallium}

cd $(dirname $0)

kill -0 $(cat $bot.pid) 2>/dev/null || ./$bot.py
Initial commit 2007-08-24 10:57:29 -06:00			`#! /bin/sh`
			`## Restart the bot if it's not running`

Even better health script (ie. works) 2007-10-04 17:02:48 -06:00			`# You can specify which bot to run as a command line option;`
			`# default gallium`
			`bot=${1:-gallium}`
Initial commit 2007-08-24 10:57:29 -06:00
Even better health script (ie. works) 2007-10-04 17:02:48 -06:00			`cd $(dirname $0)`

			`kill -0 $(cat $bot.pid) 2>/dev/null \|\| ./$bot.py`