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); }