From 515fec285806c231cb7a2ecc17e964029a0041a1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matej=20Ba=C4=8Do?= Date: Sat, 30 Sep 2023 11:57:15 +0200 Subject: [PATCH] Linter fix --- src/Executor/Executor.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; }