PHP 4.0 Bug #9697: filename ends with £
| From: | fabiankessler at usa dot net | Date: | Mon, 12 Mar 2001 08:48:55 +0000 |
| Subject: | PHP 4.0 Bug #9697: filename ends with £ | ||
| Groups: | php.dev | ||
| Request: | Send a blank email to php-dev+get-48717@lists.php.net to get a copy of this message | ||
From: fabiankessler@usa.net
Operating system: winnt 4.0
PHP version: 4.0.4
PHP Bug Type: *Directory/Filesystem functions
Bug description: filename ends with £
this prints out 'crap' because is_dir() and is_file() return null instead of a boolean if
the filename ends with a £.
yes, the file in the example is a valid windows filename.
$fullPath = realpath("c:/{}d % test.txt {} _-d°§+@ #ç&()=~^`´'$£");
if (is_dir($fullPath) == null) echo 'crap';
-fab
--
Edit Bug report at: http://bugs.php.net/?id=9697&edit=1