diff options
| author | Dmitry Stogov <dmitry@zend.com> | 2015-04-08 13:29:42 +0300 |
|---|---|---|
| committer | Dmitry Stogov <dmitry@zend.com> | 2015-04-08 13:29:42 +0300 |
| commit | 4d9a1883aa764e502990488d2e8b9c978be6fbd2 (patch) | |
| tree | 1058bb04ebf8266a316c6449132e7cda7d0ce54b /main/php_streams.h | |
| parent | fa795b05530c4ccd33ff63f23903bf4b458dc491 (diff) | |
| download | php-git-4d9a1883aa764e502990488d2e8b9c978be6fbd2.tar.gz | |
Fixed bug #68887 (resources are not freed correctly)
Diffstat (limited to 'main/php_streams.h')
| -rw-r--r-- | main/php_streams.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/main/php_streams.h b/main/php_streams.h index 4f3d860a90..0ee3ff5458 100644 --- a/main/php_streams.h +++ b/main/php_streams.h @@ -284,6 +284,7 @@ PHPAPI int php_stream_from_persistent_id(const char *persistent_id, php_stream * #define PHP_STREAM_FREE_RSRC_DTOR 8 /* called from the resource list dtor */ #define PHP_STREAM_FREE_PERSISTENT 16 /* manually freeing a persistent connection */ #define PHP_STREAM_FREE_IGNORE_ENCLOSING 32 /* don't close the enclosing stream instead */ +#define PHP_STREAM_FREE_KEEP_RSRC 64 /* keep associated zend_resource */ #define PHP_STREAM_FREE_CLOSE (PHP_STREAM_FREE_CALL_DTOR | PHP_STREAM_FREE_RELEASE_STREAM) #define PHP_STREAM_FREE_CLOSE_CASTED (PHP_STREAM_FREE_CLOSE | PHP_STREAM_FREE_PRESERVE_HANDLE) #define PHP_STREAM_FREE_CLOSE_PERSISTENT (PHP_STREAM_FREE_CLOSE | PHP_STREAM_FREE_PERSISTENT) |