diff options
author | Sam Ruby <rubys@php.net> | 1999-11-05 17:52:00 +0000 |
---|---|---|
committer | Sam Ruby <rubys@php.net> | 1999-11-05 17:52:00 +0000 |
commit | d5233c482bc1ef7f6222761ececcef022c985a37 (patch) | |
tree | 19149e2fd6d8103cd1ca6fbcd4a20851a2f10dde | |
parent | f8d111d153834ce91165c8bc351d9a2d9f3e95a9 (diff) | |
download | php-git-d5233c482bc1ef7f6222761ececcef022c985a37.tar.gz |
configuration failures trap server
-rw-r--r-- | main/main.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/main/main.c b/main/main.c index 9e1205ee02..1492201995 100644 --- a/main/main.c +++ b/main/main.c @@ -482,7 +482,9 @@ PHPAPI void php_error(int type, const char *format,...) case E_CORE_ERROR: /*case E_PARSE: the parser would return 1 (failure), we can bail out nicely */ case E_COMPILE_ERROR: - zend_bailout(); + if (module_initialized) { + zend_bailout(); + } break; } } |