kill the server until shut_down works properly

This commit is contained in:
Gunter Labes 2008-01-04 13:13:37 +00:00
parent 3e6551ea95
commit 1a18a8f9e2

View file

@ -20,7 +20,7 @@ ulimit -Ss 2048
ulimit -c unlimited
# send the standard server message to the appropriate server when killing it with ctrl+c
trap "$HOME/bin/send_server_message $SERVER; sleep 2; $HOME/bin/send_server_command $SERVER shut_down; wait; echo -n 'terminated: '; date; exit 0" SIGINT
trap "$HOME/bin/send_server_message $SERVER; sleep 2; $HOME/bin/send_server_command $SERVER shut_down; sleep 2; killall wesnothd-$SERVER; wait; echo -n 'terminated: '; date; exit 0" SIGINT
while [ true ]
do