From bf01327cd0447d9b642250227fe74096fbb6d46a Mon Sep 17 00:00:00 2001
From: Christian Kampka <christian@kampka.net>
Date: Sat, 28 Feb 2015 12:31:11 +0100
Subject: [PATCH] Don't swallow errors in console.php
---
console.php | 1 +
1 file changed, 1 insertion(+)
diff --git a/console.php b/console.php
index af58aacd25..9e6240d92c 100644
--- a/console.php
+++ b/console.php
@@ -58,4 +58,5 @@ try {
} catch (Exception $ex) {
echo "An unhandled exception has been thrown:" . PHP_EOL;
echo $ex;
+ exit(1);
}
--
GitLab