Super Developer

我的一丝留念

首页 联系 管理

#!/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

posted on 2009-04-27 13:17  Super Developer  阅读(1343)  评论(0)    收藏  举报