2007-08-24 10:57:29 -06:00
|
|
|
#! /bin/sh
|
|
|
|
## Restart the bot if it's not running
|
|
|
|
|
|
|
|
# Gallium assumes everything's in the cwd
|
2007-10-04 16:21:34 -06:00
|
|
|
cd $(basename $0)
|
2007-08-24 10:57:29 -06:00
|
|
|
|
2007-10-04 16:21:34 -06:00
|
|
|
kill -0 $(cat gallium.pid) 2>/dev/null || ./gallium.py
|