ttyrec/jsttyplay/respawn.sh

#!/bin/sh

killall lighttpd
lighttpd -f lighttpd.conf || exit 1
if [ -e fastcgi.pid ]; then
    kill `cat fastcgi.pid`;
    sleep 1;
    kill -9 `cat fastcgi.pid`;
    rm -f fastcgi.pid;
fi
spawn-fcgi -f ./shell_server.pl -P fastcgi.pid -p 1065

1	#!/bin/sh
2
3	killall lighttpd
4	lighttpd -f lighttpd.conf \|\| exit 1
5	if [ -e fastcgi.pid ]; then
6	kill `cat fastcgi.pid`;
7	sleep 1;
8	kill -9 `cat fastcgi.pid`;
9	rm -f fastcgi.pid;
10	fi
11	spawn-fcgi -f ./shell_server.pl -P fastcgi.pid -p 1065
12