#20047 [Opn->Csd]: add: file() returns false on failure
| From: | philip@php.net | Date: | Thu, 24 Oct 2002 19:03:55 +0000 |
| Subject: | #20047 [Opn->Csd]: add: file() returns false on failure | ||
| References: | 1 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969349246@lists.php.net to get a copy of this message | ||
ID: 20047
Updated by: philip@php.net
Reported By: info@e-novative.de
-Status: Open
+Status: Closed
Bug Type: Documentation problem
Operating System: all
PHP Version: all
Assigned To: philip
New Comment:
This bug has been fixed in CVS.
In case this was a PHP problem, snapshots of the sources are packaged
every three hours; this change will be in the next snapshot. You can
grab the snapshot at http://snaps.php.net/.
In case this was a documentation problem, the fix will show up soon at
http://www.php.net/manual/.
In case this was a PHP.net website problem, the change will show
up on the PHP.net site and on the mirror sites in short time.
Thank you for the report, and for helping us make PHP better.
Thanks for the bug report!
Previous Comments:
------------------------------------------------------------------------
[2002-10-23 15:23:33] hholzgra@php.net
if boolean false is only returned on failure
then we do not change return type to "mixed"
the type in the proto is always the success-type
------------------------------------------------------------------------
[2002-10-23 12:31:10] philip@php.net
The documentation should state it returns false, that will be added.
Regarding mixed, if that were the case then all functions would be
documented as mixed, not very useful. Let's leave that part alone.
------------------------------------------------------------------------
[2002-10-23 12:15:42] info@e-novative.de
The documentation for the file() function does not state explicitly
that file will return false if the file does not exist. This is rather
confirmed and can be cross-checked by looking at the readfile page, but
it might be worth adding it though.
Then, shouldn´t the result data type be "mixed" instead of "array"?
------------------------------------------------------------------------
--
Edit this bug report at http://bugs.php.net/?id=20047&edit=1