|
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: Mon Nov 03 01: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)