diff options
Diffstat (limited to 'ngircd/src/testsuite/stop-server.sh')
| -rwxr-xr-x | ngircd/src/testsuite/stop-server.sh | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/ngircd/src/testsuite/stop-server.sh b/ngircd/src/testsuite/stop-server.sh deleted file mode 100755 index c5a9486..0000000 --- a/ngircd/src/testsuite/stop-server.sh +++ /dev/null @@ -1,36 +0,0 @@ -#!/bin/sh -# ngIRCd Test Suite - -[ -z "$srcdir" ] && srcdir=`dirname "$0"` -set -u - -# read in functions -. "${srcdir}/functions.inc" - -if [ -n "$1" ]; then - id="$1"; shift -else - id="1" -fi - -echo_n "stopping server ${id} ..." - -# stop test-server ... -pid=`./getpid.sh T-ngircd${id}` -if [ -z "$pid" ]; then - echo " failure: no running server found!?" - exit 1 -fi -kill $pid >/dev/null 2>&1 || exit 1 - -# waiting ... -for i in 1 2 3 4 5; do - kill -0 $pid >/dev/null 2>&1; r=$? - if [ $r -ne 0 ]; then - echo " ok". - exit 0 - fi - sleep 1 -done -echo " failure: server ${id} still running!?" -exit 1 |