从SSH2命令返回PID

Question

我正在运行一个通过SSH启动游戏服务器的命令;

$stream = ssh2_exec($connection, 'java -Xmx256M -Xms32M -jar minecraft_server.jar nogui');

我想要做的是获取刚刚开始的那个过程的PID。服务器是远程的，因此是SSH2。

我需要PID，以便我可以将它分配给停止按钮，所以当点击它时，PID将被终止。

我似乎无法找到解决方案。

感谢。

Answer 1

如old question所示：

  

不幸的是，这个扩展自2008年以来一直没有维护，仍然处于Beta状态（0.11.0）。您可能需要查看一些SSH2第三方库（其中一些是LGPL或GPL）。