| 
        php.net | support | documentation | report a bug | advanced search | search howto | statistics | random bug | login | 
 PatchesPull Requests
Pull requests: 
HistoryAllCommentsChangesGit/SVN commits             
             [2014-12-01 01:35 UTC] stas@php.net
  [2014-12-01 01:35 UTC] stas@php.net
 
-Status: Open
+Status: Closed
  [2014-12-01 01:35 UTC] stas@php.net
  [2014-12-05 07:00 UTC] ab@php.net
  [2014-12-05 07:00 UTC] ab@php.net
  [2016-07-20 11:40 UTC] davey@php.net
  | 
    |||||||||||||||||||||||||||
            
                 
                Copyright © 2001-2025 The PHP GroupAll rights reserved.  | 
        Last updated: Tue Nov 04 05:00:01 2025 UTC | 
Description: ------------ hi, deleting directories with file stream wrappers doesn't work. Test script: --------------- mkdir('file:///tmp/testDir'); var_dump(is_dir('file:///tmp/testDir')); rmdir('file:///tmp/testDir'); var_dump(is_dir('file:///tmp/testDir')); Expected result: ---------------- bool(true) bool(false) Actual result: -------------- bool(true) PHP Warning: rmdir(file:///tmp/testDir): No such file or directory in [...] PHP Stack trace: PHP 1. {main}() [...]:0 PHP 2. rmdir() [...]:4 bool(true)