firebot/health.sh

11 lines
216 B
Bash
Raw Normal View History

2007-08-24 10:57:29 -06:00
#! /bin/sh
## Restart the bot if it's not running
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}
2007-08-24 10:57:29 -06:00
2007-10-04 17:02:48 -06:00
cd $(dirname $0)
kill -0 $(cat $bot.pid) 2>/dev/null || ./$bot.py