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 /Zend/zend.c | |
| parent | cad2598fcb80a2b3594568ced0f9a5823e98768e (diff) | |
| download | php-git-f81b7df618750977b9d17f3443d2cb0d74529f50.tar.gz | |
Fixed bug #73965 DTrace reported as enabled when disabled
Diffstat (limited to 'Zend/zend.c')
| -rw-r--r-- | Zend/zend.c | 2 |
1 files changed, 2 insertions, 0 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; |