From 6aab040118d6ae7c7633ed88c6d90a819c949c69 Mon Sep 17 00:00:00 2001
From: Sebastian Bergmann <sb@sebastian-bergmann.de>
Date: Tue, 10 Dec 2019 15:54:07 +0100
Subject: [PATCH] Lets waste three more characters on a solution for a problem
 that should not exist

---
 src/Util/PHP/eval-stdin.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Util/PHP/eval-stdin.php b/src/Util/PHP/eval-stdin.php
index 07ff4469134..51830820d07 100644
--- a/src/Util/PHP/eval-stdin.php
+++ b/src/Util/PHP/eval-stdin.php
@@ -8,7 +8,7 @@
  * file that was distributed with this source code.
  */
 if (\PHP_SAPI !== 'cli' && \PHP_SAPI !== 'phpdbg') {
-    exit;
+    exit(1);
 }
 
 eval('?>' . \file_get_contents('php://stdin'));