diff options
| -rw-r--r-- | console.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/console.php b/console.php index af58aacd25a..9e6240d92cd 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); } |