3 # $Id: stop-server.sh,v 1.12 2004/09/06 20:22:30 alex Exp $
5 [ -z "$srcdir" ] && srcdir=`dirname $0`
7 echo -n " stopping server ..."
10 pid=`./getpid.sh T-ngircd`
11 if [ -z "$pid" ]; then
12 echo " failure: no running server found!?"
15 kill $pid > /dev/null 2>&1 || exit 1
18 for i in 1 2 3 4 5; do
19 kill -0 $pid > /dev/null 2>&1; r=$?
26 echo " failure: server still running!?"