3 # $Id: stop-server.sh,v 1.6 2002/09/20 13:57:01 alex Exp $
5 echo " stopping server ..."
7 PS_FLAGS=-f; PS_PIDCOL=2
8 ps $PS_FLAGS > /dev/null 2>&1
9 if [ $? -ne 0 ]; then PS_FLAGS=a; PS_PIDCOL=1; fi
11 ps $PS_FLAGS > procs.tmp
12 pid=`cat procs.tmp | grep ngircd-TEST | awk "{ print \\\$$PS_PIDCOL }"`
13 [ -n "$pid" ] && kill -0 $pid > /dev/null 2>&1 || exit 1