| commit | cf60fa7ac654a15e00888eef469838ef4bf47204 | [log] [tgz] |
|---|---|---|
| author | Jesse van Assen <jesse.v.assen@gmail.com> | Fri Sep 27 11:58:44 2013 +0200 |
| committer | Jesse van Assen <jesse.v.assen@gmail.com> | Fri Sep 27 11:58:44 2013 +0200 |
| tree | aa9d4a377210d441e1dc28bc5e8257918df5bc88 | |
| parent | 7eb116a33937ec32bb30208561a27b8f0c26f496 [diff] |
Script is killed with the proper exit code.
diff --git a/system/core/Common.php b/system/core/Common.php index 7553f4a..d88b086 100644 --- a/system/core/Common.php +++ b/system/core/Common.php
@@ -612,7 +612,7 @@ // default error handling. See http://www.php.net/manual/en/errorfunc.constants.php if ($is_error) { - exit(); + exit(EXIT_ERROR); } } }