diff options
Diffstat (limited to 'src/testsuite/stop-server.sh')
| -rwxr-xr-x | src/testsuite/stop-server.sh | 20 |
1 files changed, 14 insertions, 6 deletions
diff --git a/src/testsuite/stop-server.sh b/src/testsuite/stop-server.sh index a9cce99f..d76871b8 100755 --- a/src/testsuite/stop-server.sh +++ b/src/testsuite/stop-server.sh @@ -1,17 +1,25 @@ #!/bin/sh # ngIRCd Test Suite -# $Id: stop-server.sh,v 1.9 2002/11/10 14:28:06 alex Exp $ +# $Id: stop-server.sh,v 1.10 2003/08/22 11:31:18 alex Exp $ [ -z "$srcdir" ] && srcdir=`dirname $0` echo " stopping server ..." -# Test-Server stoppen ... +# stop test-server ... pid=`./getpid.sh T-ngircd` -[ -n "$pid" ] && kill $pid > /dev/null 2>&1 || exit 1 -sleep 1 +if [ -z "$pid" ]; then + echo " no running server found!?" + exit 1 +fi +kill $pid > /dev/null 2>&1 || exit 1 -# jetzt duerfte der Prozess nicht mehr laufen -kill -0 $pid > /dev/null 2>&1 && exit 1 || exit 0 +# waiting ... +for i in 1 2 3 4 5; do + kill -0 $pid > /dev/null 2>&1 || exit 0 + sleep 1 +done +echo " server still running!?" +exit 1 # -eof- |