Handling of ProcessTimedOutException is unreliable

[jimwins]

The output of the ps x | ... command is not checked to see if a PID was actually retrieved. This can happen with a command that is long enough that the $shellId doesn't appear because it's only using ps x instead of ps wwx.

You could also eliminate the use of grep by making it: ps wwx | awk '/$shellId/ && !/awk/ {print \$1; exit}'

deployer/src/Component/Ssh/Client.php

Lines 96 to 99 in 51e8e82

	// Let's try to kill all processes started by this command.
	$pid = $this->run($host, "ps x | grep $shellId | grep -v grep | awk '{print \$1}'");
	// Minus before pid means all processes in this group.
	$this->run($host, "kill -9 -$pid");