diff options
author | Emiel Bruijntjes <emiel.bruijntjes@copernica.com> | 2014-04-12 11:17:49 +0200 |
---|---|---|
committer | Emiel Bruijntjes <emiel.bruijntjes@copernica.com> | 2014-04-12 11:17:49 +0200 |
commit | 858e25bf8e7c69b856b40372e9a8ca6a23bb1c3c (patch) | |
tree | e71667954d8b5bc1e0ef01b57a22b10d9a150ae8 /zend/extensionimpl.h | |
parent | d6aff895972f87044bcc3378e9681b50c038591a (diff) |
fixed wrong memory deallocation when php.ini entries were unregistered (issue #64)
Diffstat (limited to 'zend/extensionimpl.h')
-rw-r--r-- | zend/extensionimpl.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/zend/extensionimpl.h b/zend/extensionimpl.h index e58ce66..ba3e6c8 100644 --- a/zend/extensionimpl.h +++ b/zend/extensionimpl.h @@ -28,6 +28,13 @@ protected: * @var zend_module_entry */ zend_module_entry _entry; + + /** + * The .ini entries + * + * @var zend_ini_entry + */ + zend_ini_entry *_ini = nullptr; public: /** |