0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

make sure we really kill the server

Browse source
This commit is contained in:
Gunter Labes 2007-12-10 19:03:59 +00:00
parent df1d6a5b8d
commit f3b5bc0dcd
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
utils/mp-server/run_server
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; kill %1; echo -n 'terminated: '; date; exit 0" SIGINT
trap "$HOME/bin/send_server_message $SERVER; sleep 2; killall wesnothd-$SERVER; echo -n 'terminated: '; date; exit 0" SIGINT
while [ true ]
do