3 # $Id: stop-server.sh,v 1.4.2.4 2002/10/03 16:13:38 alex Exp $
5 [ -z "$srcdir" ] && srcdir=`dirname $0`
7 echo " stopping server ..."
9 # Test-Server stoppen ...
10 pid=`./getpid.sh ngircd-TEST`
11 [ -n "$pid" ] && kill $pid > /dev/null 2>&1 || exit 1
14 # jetzt duerfte der Prozess nicht mehr laufen
15 kill -0 $pid > /dev/null 2>&1 && exit 1 || exit 0