diff --git a/tools/arkmanager b/tools/arkmanager index ac0fe3c..77a9863 100755 --- a/tools/arkmanager +++ b/tools/arkmanager @@ -651,10 +651,6 @@ function getServerPID(){ return fi fi - - if [[ -z "$arkopt_clusterid" || -f "${arkserverroot}/${arkoldautorestartfile}" ]]; then - ps -ef | grep "$arkserverroot/$arkserverexec" | grep -v grep | awk '{print $2}' - fi } #