I am using phpseclib, Net_SSH2.
I need to get the process ID of the server/process that is started by this command.
echo $ssh->exec('java -Xmx256M -Xms32M -jar minecraft_server.jar nogui');
This is so i can store it and be able to kill it via a PHP script at anytime.