ssh2_exec PID auslesen