phpseclib如何获得PID和杀死

Question

通常我通过在putty上输入命令来重启tomcat。我的问题tomcat总是挂起.Below是步骤   1. ps aux | grep tomcat   2.获得PID   3.杀死PID   cd / usr / local / tomcat / bin   4 ../ startup.sh

现在计划将其设为自动，然后如何在下面的脚本中添加。     

 $ssh = new Net_SSH2('172.16.2.96');
 if (!$ssh->login('root', 'password')) {
    exit('Login Failed');
}
//Line here
echo $ssh->exec('service tomcat start');

真的很感谢你的帮助。谢谢你