Bug #1632: rmdir fails with broken pipe

From: fredm@esoterica.pt Operating system: Win NT4 SP5 PHP version: 3.0 Latest CVS (30/06/1999) PHP Bug Type: Misbehaving function Bug description: rmdir fails with broken pipe I create a directory as follows: if ($rc = Mkdir($directory,0777)) { /* Directory created processing */ } Directory is successfully created. Some days(or minutes in test) I try to remove the directory in another transaction /* Code to set up directory name */ /* Code to delete any files in directory - this works */ echo "<br>Directory is $directory";/* diagnostic */ error_reporting(15); if ($rc = RmDir($directory)) { /* code for successful delete */ } else { /* Code for unsuccessful delete */ } I get the following output, and the empty directory remains. Directory is d:\argus\fred3\resources\xxx Warning: RmDir failed (Broken pipe) in d:\argus/fred3/xxx.php3 on line 777 The code works fine Linux. I looked at function php3_rmdir in file.c, but could see nothing obvious(in my slowly widening understanding). If one wanted to put some temporary diagnostic processing in file.c for example to print some of the variables to the screen, what would be the recommended way to do this? Best regards. . . Fred