#!/bin/sh
user_name=`whoami`
dirname0=`dirname $0`
jboss_folder_name=`cd $dirname0/..; pwd`
pid=`ps -ef | grep $user_name | grep $jboss_folder_name | grep server | grep -v grep | awk '{printf "%s", $2}'`
if [ "$pid"x = ""x ];
then
echo 'JBoss server did not startup.'
else
kill -9 $pid
echo 'JBoss server is already shutdown ! kill process id :'$pid
fi
浙公网安备 33010602011771号