Bug #3051: file() cannot access file
| From: | weberjn at gmx dot de | Date: | Sun, 26 Dec 1999 21:29:32 +0000 |
| Subject: | Bug #3051: file() cannot access file | ||
| Groups: | php.dev | ||
| Request: | Send a blank email to php-dev+get-14053@lists.php.net to get a copy of this message | ||
From: weberjn@gmx.de
Operating system: NT 4.0 SP 3
PHP version: 3.0.12
PHP Bug Type: Misbehaving function
Bug description: file() cannot access file
Hello,
the code $picArray=file("images.lst");
results in a dos command box coming up and
displaying "process cannot access file, as it is in
use by another process".
CPU load goes up to 100%
After killing the dos box with ^C for several times,
file() works as it should.
Thank you,
Juergen