diff options
| author | Dmitry Stogov <dmitry@zend.com> | 2014-02-19 01:12:05 +0400 |
|---|---|---|
| committer | Dmitry Stogov <dmitry@zend.com> | 2014-02-19 01:12:05 +0400 |
| commit | 557994d50d6d712a2a23ba0bbb3169750bf0a0cf (patch) | |
| tree | c13d2d259bd06a45d8e79d0f1b839304899e5c4a /main/streams/streams.c | |
| parent | 110e01a21eef8827a0c449f23139e25a9e32e181 (diff) | |
| download | php-git-557994d50d6d712a2a23ba0bbb3169750bf0a0cf.tar.gz | |
Use better data structures (incomplete)
Diffstat (limited to 'main/streams/streams.c')
| -rw-r--r-- | main/streams/streams.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/main/streams/streams.c b/main/streams/streams.c index de24aaf475..8fa601a541 100644 --- a/main/streams/streams.c +++ b/main/streams/streams.c @@ -459,7 +459,9 @@ fprintf(stderr, "stream_free: %s:%p[%s] preserve_handle=%d release_cast=%d remov * the resource list, otherwise the resource will point to invalid memory. * In any case, let's always completely delete it from the resource list, * not only when PHP_STREAM_FREE_RELEASE_STREAM is set */ - while (zend_list_delete(stream->res) == SUCCESS) {} +//??? while (zend_list_delete(stream->res) == SUCCESS) {} + stream->res->gc.refcount = 0; + zend_list_delete(stream->res); } if (close_options & PHP_STREAM_FREE_CALL_DTOR) { |