From 687d6867e12f1bd6a15877c5ce3a58e5bd9664c9 Mon Sep 17 00:00:00 2001 From: Aydin Hassan Date: Sat, 30 Jan 2016 22:23:51 +0000 Subject: [PATCH] Reduce process timeout --- src/ExerciseRunner/CgiRunner.php | 2 +- src/ExerciseRunner/CliRunner.php | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ExerciseRunner/CgiRunner.php b/src/ExerciseRunner/CgiRunner.php index 7b265e50..82d342fd 100644 --- a/src/ExerciseRunner/CgiRunner.php +++ b/src/ExerciseRunner/CgiRunner.php @@ -164,7 +164,7 @@ private function getProcess($fileName, RequestInterface $request) $env[sprintf('HTTP_%s', strtoupper($name))] = implode(", ", $values); } - return new Process($cmd, null, $env); + return new Process($cmd, null, $env, null, 10); } /** diff --git a/src/ExerciseRunner/CliRunner.php b/src/ExerciseRunner/CliRunner.php index 7a24a30c..ef0f44d7 100644 --- a/src/ExerciseRunner/CliRunner.php +++ b/src/ExerciseRunner/CliRunner.php @@ -84,7 +84,7 @@ private function executePhpFile($fileName, ArrayObject $args, $type) private function getPhpProcess($fileName, ArrayObject $args) { $cmd = sprintf('%s %s %s', PHP_BINARY, $fileName, $args->map('escapeshellarg')->implode(' ')); - return new Process($cmd, dirname($fileName)); + return new Process($cmd, dirname($fileName), null, null, 10); } /**