|
@@ -41,7 +41,7 @@ |
|
|
block discarded – undo |
|
41
|
41
|
} |
|
42
|
42
|
|
|
43
|
43
|
$process = new Process($php.($phpArgs ? ' '.$phpArgs : '').' '.$console.' '.$cmd, null, null, null, $timeout); |
|
44
|
|
- $process->run(function ($type, $buffer) use ($event) { $event->getIO()->write($buffer, false); }); |
|
|
44
|
+ $process->run(function($type, $buffer) use ($event) { $event->getIO()->write($buffer, false); }); |
|
45
|
45
|
if (!$process->isSuccessful()) { |
|
46
|
46
|
throw new \RuntimeException(sprintf("An error occurred when executing the \"%s\" command:\n\n%s\n\n%s.", escapeshellarg($cmd), $process->getOutput(), $process->getErrorOutput())); |
|
47
|
47
|
} |
Please login to merge, or discard this patch.