#22399 [Opn->Csd]: file_exists : example given of shared path format is obviously defective
| From: | victor@php.net | Date: | Sun, 02 Mar 2003 10:48:21 +0000 |
| Subject: | #22399 [Opn->Csd]: file_exists : example given of shared path format is obviously defective | ||
| References: | 1 | Groups: | php.doc |
| Request: | Send a blank email to phpdoc+get-969352051@lists.php.net to get a copy of this message | ||
ID: 22399
Updated by: victor@php.net
Reported By: alan at frostick dot com
-Status: Open
+Status: Closed
Bug Type: Documentation problem
Operating System: WIN32
PHP Version: 4.3.1
New Comment:
I've changed \\\\computername\share\filename to
\\computername\share\filename and put every example in single quotes to
make it more even more clear.
Previous Comments:
------------------------------------------------------------------------
[2003-02-25 16:29:31] stone@php.net
Sorry, I changed submitter's e-mail.
------------------------------------------------------------------------
[2003-02-25 16:27:17] stone@php.net
At least "//server/share/filename/" had been working starting from
4.1.0 while '\\server\share\filename' didn't for quite a long time
(until 4.2.0?).
If you want to write cross plattform code it's not a bad idea to rely
on php's auto conversion of slashes to backslashes in file paths on
windows platforms.
------------------------------------------------------------------------
[2003-02-24 17:55:00] php at mijav dot dk
I partially agree. I agree that it's incorrect. But the correct way
should be '\\computername\share\filename' in plings, or
"\\\\computername\\share\\filename" in quotes, as you said.
I don't think the manual should read \\\\ (escaped backslashes) unless
it is writtenly-quoted, to avoid misunderstanding.
------------------------------------------------------------------------
[2003-02-24 12:42:53] alan at frostick dot com
Manual\function.file-exists.html
Error in manual page?
"On windows, use //computername/share/filename or
\\\\computername\share\filename"
Obviously wrong - shouldn't that read:
"On windows, use //computername/share/filename or
\\\\computername\\share\\filename"
------------------------------------------------------------------------
--
Edit this bug report at http://bugs.php.net/?id=22399&edit=1