Fix: Gracefully handle empty user input in run-tests.php

Closes GH-6016.
php · Aug 24, 2020 · bfeb2f6 · bfeb2f6
1 parent 32c6a0b
commit bfeb2f6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/run-tests.php b/run-tests.php
@@ -942,7 +942,7 @@ function save_or_mail_results(): void
         flush();
 
         $user_input = fgets($fp, 10);
-        $just_save_results = (strtolower($user_input[0]) == 's');
+        $just_save_results = (!empty($user_input) && strtolower($user_input[0]) === 's');
     }
 
     if ($just_save_results || !getenv('NO_INTERACTION') || TRAVIS_CI) {