3 # $Id: stop-server.sh,v 1.13 2004/09/06 22:04:06 alex Exp $
5 [ -z "$srcdir" ] && srcdir=`dirname $0`
8 . ${srcdir}/functions.inc
10 echo_n " stopping server ..."
12 # stop test-server ...
13 pid=`./getpid.sh T-ngircd`
14 if [ -z "$pid" ]; then
15 echo " failure: no running server found!?"
18 kill $pid > /dev/null 2>&1 || exit 1
21 for i in 1 2 3 4 5; do
22 kill -0 $pid > /dev/null 2>&1; r=$?
29 echo " failure: server still running!?"