diff options
| author | Zeev Suraski <zeev@php.net> | 1999-04-27 11:00:59 +0000 |
|---|---|---|
| committer | Zeev Suraski <zeev@php.net> | 1999-04-27 11:00:59 +0000 |
| commit | 2493f6801815b4459a8bfb29085e448186f521c8 (patch) | |
| tree | 6c2de6e1e28dcd2217d9aab7f8eea346c413a5f3 /Zend/zend_extensions.c | |
| parent | 1245356128de425b78ae9f69507ec89f16396644 (diff) | |
| download | php-git-2493f6801815b4459a8bfb29085e448186f521c8.tar.gz | |
* Fix debugger+interactive mode bug
* Recognize whether an extension is with debug information or not
Diffstat (limited to 'Zend/zend_extensions.c')
| -rw-r--r-- | Zend/zend_extensions.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Zend/zend_extensions.c b/Zend/zend_extensions.c index 92eb410aa9..ea59c025d4 100644 --- a/Zend/zend_extensions.c +++ b/Zend/zend_extensions.c @@ -83,6 +83,13 @@ int zend_load_extension(char *path) (ZTS_V?"is":"isn't")); DL_UNLOAD(handle); return FAILURE; + } else if (ZEND_DEBUG_V!=extension_version_info->debug) { + zend_printf("Cannot load %s - it %s debug information, whereas Zend %s\n", + new_extension->name, + (extension_version_info->debug?"contains":"does not contain"), + (ZEND_DEBUG_V?"does":"does not")); + DL_UNLOAD(handle); + return FAILURE; } if (new_extension->startup) { |