diff options
| author | Jesse van Assen <jesse.v.assen@gmail.com> | 2013-09-27 11:58:44 +0200 |
|---|---|---|
| committer | Jesse van Assen <jesse.v.assen@gmail.com> | 2013-09-27 11:58:44 +0200 |
| commit | cf60fa7ac654a15e00888eef469838ef4bf47204 (patch) | |
| tree | aa9d4a377210d441e1dc28bc5e8257918df5bc88 | |
| parent | 7eb116a33937ec32bb30208561a27b8f0c26f496 (diff) | |
Script is killed with the proper exit code.
| -rw-r--r-- | system/core/Common.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/system/core/Common.php b/system/core/Common.php index 7553f4ae6..d88b0867b 100644 --- a/system/core/Common.php +++ b/system/core/Common.php @@ -612,7 +612,7 @@ if ( ! function_exists('_exception_handler')) // default error handling. See http://www.php.net/manual/en/errorfunc.constants.php if ($is_error) { - exit(); + exit(EXIT_ERROR); } } } |