Merge pull request #14608 from kampka/master

Don't swallow errors in console.php
2015-03-02 01:40:57 -08:00 · 2015-03-02 01:40:57 -08:00 · 9c79b1fc6d
parent 58ec0ea734 bf01327cd0
commit 9c79b1fc6d
1 changed files with 1 additions and 0 deletions
--- 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);
 }