|
php.net | support | documentation | report a bug | advanced search | search howto | statistics | random bug | login |
PatchesPull RequestsHistoryAllCommentsChangesGit/SVN commits
[2001-12-28 13:31 UTC] mfischer@php.net
|
|||||||||||||||||||||||||||
Copyright © 2001-2025 The PHP GroupAll rights reserved. |
Last updated: Wed Nov 05 05:00:01 2025 UTC |
<?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.