#! /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