#!/bin/sh
#
job=rmiregistry
job=$1
jobPS=`ps -eo pid,user,comm | grep silaghi | grep "[ /]$job$" | grep -v grep | /usr/local/bin/gawk '{print $1}'`
if [ "${jobPS:-none}" = 'none' ]; then 
   echo "Cannot kill $job: not found!"
else
   echo "Killing $job (PID $jobPS)"
   kill -9 $jobPS
fi