note 67040 added to function.is-file

As noticed by amraam at ao dot net, if you have an empty file (0 byte), is_file returns false. But file_exists returns true. The following code is a workaround for this problem: $filename = $argv[1]; if (!file_exists($filename)) { echo "$filename doesn't exist"; exit; } $s = stat($filename); if ($s === false) echo "Error"; else if ($s['size'] == 0) echo "$filename is an empty file"; else if (is_file($filename)) echo "$filename is a regular file"; else echo "$filename is not a file"; ---- Server IP: 200.185.109.103 Probable Submitter: 200.255.125.98 ---- X-Spam-Status: No, hits=3.1 required=5.0 tests=DATE_MISSING,FROM_NO_LOWER autolearn=no version=2.64 ---- Manual Page -- http://www.php.net/manual/en/function.is-file.php Edit -- http://master.php.net/note/edit/67040 Del: integrated -- http://master.php.net/note/delete/67040/integrated Del: useless -- http://master.php.net/note/delete/67040/useless Del: bad code -- http://master.php.net/note/delete/67040/bad+code Del: spam -- http://master.php.net/note/delete/67040/spam Del: non-english -- http://master.php.net/note/delete/67040/non-english Del: in docs -- http://master.php.net/note/delete/67040/in+docs Del: other reasons-- http://master.php.net/note/delete/67040 Reject -- http://master.php.net/note/reject/67040 Search -- http://master.php.net/manage/user-notes.php