diff --git a/src/Executor/Executor.php b/src/Executor/Executor.php index 41d283cd09..4b68cc5233 100644 --- a/src/Executor/Executor.php +++ b/src/Executor/Executor.php @@ -205,7 +205,7 @@ class Executor // Safety timeout. Executor has timeout, and open runtime has soft timeout. // This one shouldn't really happen, but prevents from unexpected networking behaviours. - if($requestTimeout == null) { + if ($requestTimeout == null) { $requestTimeout = $timeout + 15; }