diff options
| author | Christian Kampka <christian@kampka.net> | 2015-02-28 14:31:11 +0300 |
|---|---|---|
| committer | Christian Kampka <christian@kampka.net> | 2015-02-28 14:31:11 +0300 |
| commit | bf01327cd0447d9b642250227fe74096fbb6d46a (patch) | |
| tree | 26707936a555bf881e7131a999f448b2e207f42b /console.php | |
| parent | 42f6448da239c1b716ae514a513c4985eec48ef5 (diff) | |
Don't swallow errors in console.php
Diffstat (limited to 'console.php')
| -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); } |