使用dev配置文件

panlei

2019-12-06 9d559b7d6c980cc1eb0eb3e58f6945a01633339a

 restart

@@ -2,7 +2,7 @@

while true
do
    number=`ps -ef | grep "ruleprocess" | grep -v "restartPanlei" |grep -v "grep" | wc -l`
    number=`ps -ef | grep "ruleprocess" |grep -v "grep" | wc -l`
    echo $number
    if [ $number -eq 0 ];then
      cd /home/basic/workspace/gitblit/ruleprocess