summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJesse van Assen <jesse.v.assen@gmail.com>2013-09-27 11:58:44 +0200
committerJesse van Assen <jesse.v.assen@gmail.com>2013-09-27 11:58:44 +0200
commitcf60fa7ac654a15e00888eef469838ef4bf47204 (patch)
treeaa9d4a377210d441e1dc28bc5e8257918df5bc88
parent7eb116a33937ec32bb30208561a27b8f0c26f496 (diff)
Script is killed with the proper exit code.
-rw-r--r--system/core/Common.php2
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);
}
}
}