Bug #14741: is_file returns an error rather than if a file exists or not
| From: | watford at uiuc dot edu | Date: | Fri, 28 Dec 2001 18:14:08 +0000 |
| Subject: | Bug #14741: is_file returns an error rather than if a file exists or not | ||
| Groups: | php.dev | ||
| Request: | Send a blank email to php-dev+get-75207@lists.php.net to get a copy of this message | ||
From: watford@uiuc.edu
Operating system: FreeBSD 4.3
PHP version: 4.1.0
PHP Bug Type: Filesystem function related
Bug description: is_file returns an error rather than if a file exists or not
<?php
if(is_file($_GET['file'].".php")) {
include($_GET['file'].".php"); }
elseif(is_file($_GET['focus'].".inc")) {
virtual($_GET['focus'].".inc");
}
else { virtual("news/news.inc"); }
?>
That code throws this error:
Warning: stat failed for .php (errno=2 - No such file or directory) in
/usr/home/edgewww/helpandsupport.net/cs/htdocs/index.php on line 39
Warning: stat failed for .inc (errno=2 - No such file or directory) in
/usr/home/edgewww/helpandsupport.net/cs/htdocs/index.php on line 40
I've corrected this issue by using file_exists but for the sake of not
having to change my backend, I'd love for is_file to start working again.
--
Edit bug report at: http://bugs.php.net/?id=14741&edit=1