Use list_close here (by ext/standard/tests/dir/closedir_basic.phpt)

diff --git a/ext/standard/dir.c b/ext/standard/dir.c
index 357146146f7e9f6400bec859e0ebad45b54fa571..4744b162294c729281798eec93cbdce8efdbc118 100644 (file)
--- a/ext/standard/dir.c
+++ b/ext/standard/dir.c
@@ -278,7 +278,7 @@ PHP_FUNCTION(closedir)
        }
 
        res = dirp->res;
-       zend_list_delete(dirp->res);
+       zend_list_close(dirp->res);
 
        if (res == DIRG(default_dir)) {
                php_set_default_dir(NULL TSRMLS_CC);