echo `hostname` #Kill process PID=`ps -ef|grep ${USER}|grep java|grep 'Dapp.name=pregelixnc'|awk '{print $2}'` if [ "$PID" == "" ]; then PID=`ps -ef|grep ${USER}|grep java|grep 'hyracks'|awk '{print $2}'` fi if [ "$PID" == "" ]; then USERID=`id | sed 's/^uid=//;s/(.*$//'` PID=`ps -ef|grep ${USERID}|grep java|grep 'Dapp.name=pregelixnc'|awk '{print $2}'` fi echo $PID kill -QUIT $PID