#! /bin/sh
set -e
case "`uname`" in
Linux)
  pscmd="ps aux"
  ;;
SunOS)
  pscmd="ps -aux"
  ;;
*)
  pscmd="ps -ef"
  ;;
esac
id=`$pscmd | awk '$11 ~ /[^\-]*acms$/ { print $2 }'`
if [ "$id" = "" ]; then
  echo No acm server processes found on this system.
else
  echo "Killing process(es) $id ..."
  kill -9 $id
fi
