Don't swallow errors in console.php

diff --git a/console.php b/console.php
index af58aacd25ad1d74f24b9050cd2d26fe81618383..9e6240d92cd8a5a1f4e5b1a6f643ae7f9a1a1737 100644 (file)
--- 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);
 }