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