Don't swallow errors in console.php

11 years ago · bf01327cd0
parent 42f6448da2
commit bf01327cd0
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);
 }