diff options
| -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; } } |