Warning: file_get_contents(/data/phpspider/zhask/data//catemap/1/php/274.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Php 从SSH2命令返回PID_Php_Ssh_Exec - Fatal编程技术网

Php 从SSH2命令返回PID

Php 从SSH2命令返回PID,php,ssh,exec,Php,Ssh,Exec,我正在运行一个命令,通过SSH启动游戏服务器 $stream = ssh2_exec($connection, 'java -Xmx256M -Xms32M -jar minecraft_server.jar nogui'); 我想做的是得到刚刚开始的流程的PID。服务器是远程的,因此是SSH2 我需要PID,以便我可以将其分配给停止按钮,因此当单击该按钮时,PID将被终止 我似乎找不到解决办法 谢谢。如图所示: 不幸的是,此扩展自2008年以来一直未维护,并且仍处于测试状态(0.11.0)。

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

$stream = ssh2_exec($connection, 'java -Xmx256M -Xms32M -jar minecraft_server.jar nogui');
我想做的是得到刚刚开始的流程的PID。服务器是远程的,因此是SSH2

我需要PID,以便我可以将其分配给停止按钮,因此当单击该按钮时,PID将被终止

我似乎找不到解决办法

谢谢。

如图所示:

不幸的是,此扩展自2008年以来一直未维护,并且仍处于测试状态(0.11.0)。您可能希望查看一些SSH2第三方库(其中一些是LGPL或GPL)


这个怎么样?这似乎更重要-