3 # $Id: stop-server.sh,v 1.10 2003/08/22 11:31:18 alex Exp $
5 [ -z "$srcdir" ] && srcdir=`dirname $0`
7 echo " stopping server ..."
10 pid=`./getpid.sh T-ngircd`
11 if [ -z "$pid" ]; then
12 echo " 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 || exit 0
22 echo " server still running!?"