|   | 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 Group All rights reserved. | Last updated: Fri Oct 31 07: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)