diff options
| author | Remi Collet <remi@php.net> | 2017-01-20 17:45:15 +0100 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2017-01-20 17:45:15 +0100 |
| commit | f81b7df618750977b9d17f3443d2cb0d74529f50 (patch) | |
| tree | c040dc259dec9339461bc1a605043ec78a750b2c | |
| parent | cad2598fcb80a2b3594568ced0f9a5823e98768e (diff) | |
| download | php-git-f81b7df618750977b9d17f3443d2cb0d74529f50.tar.gz | |
Fixed bug #73965 DTrace reported as enabled when disabled
| -rw-r--r-- | Zend/zend.c | 2 | ||||
| -rw-r--r-- | Zend/zend.h | 2 | ||||
| -rw-r--r-- | ext/standard/info.c | 2 |
3 files changed, 5 insertions, 1 deletions
diff --git a/Zend/zend.c b/Zend/zend.c index 2a47e9244b..22a92a6a0a 100644 --- a/Zend/zend.c +++ b/Zend/zend.c @@ -152,6 +152,7 @@ ZEND_TSRMLS_CACHE_DEFINE() #endif ZEND_API zend_utility_values zend_uv; +ZEND_API zend_bool zend_dtrace_enabled; /* version information */ static char *zend_version_info; @@ -685,6 +686,7 @@ int zend_startup(zend_utility_functions *utility_functions, char **extensions) / char *tmp = getenv("USE_ZEND_DTRACE"); if (tmp && zend_atoi(tmp, 0)) { + zend_dtrace_enabled = 1; zend_compile_file = dtrace_compile_file; zend_execute_ex = dtrace_execute_ex; zend_execute_internal = dtrace_execute_internal; diff --git a/Zend/zend.h b/Zend/zend.h index 141573fdec..bb9866ddd0 100644 --- a/Zend/zend.h +++ b/Zend/zend.h @@ -299,6 +299,8 @@ extern ZEND_API zend_class_entry *zend_standard_class_def; extern ZEND_API zend_utility_values zend_uv; extern ZEND_API zval zval_used_for_init; +/* If DTrace is available and enabled */ +extern ZEND_API zend_bool zend_dtrace_enabled; END_EXTERN_C() #define ZEND_UV(name) (zend_uv.name) diff --git a/ext/standard/info.c b/ext/standard/info.c index fa19179986..6b06f02e41 100644 --- a/ext/standard/info.c +++ b/ext/standard/info.c @@ -940,7 +940,7 @@ PHPAPI void php_print_info(int flag) #endif #if HAVE_DTRACE - php_info_print_table_row(2, "DTrace Support", "enabled" ); + php_info_print_table_row(2, "DTrace Support", (zend_dtrace_enabled ? "enabled" : "available, disabled")); #else php_info_print_table_row(2, "DTrace Support", "disabled" ); #endif |