php - SSH2コマンドからPIDを返す

Question

SSH経由でゲームサーバーを起動するコマンドを実行しています。

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

私がやろうとしているのは、開始したばかりのプロセスのPIDを取得することです。サーバーはリモートであるため、SSH2です。

停止ボタンに割り当てることができるようにPIDが必要です。これをクリックすると、PIDが強制終了されます。

解決策が見つからないようです。

ありがとう。

Answer 1

古い質問に見られるように：

残念ながら、この拡張機能は2008年以降保守されておらず、まだベータ状態（0.11.0）です。いくつかのSSH2サードパーティライブラリ（それらのいくつかはLGPLまたはGPLです）を見たいと思うかもしれません。