|
php.net | support | documentation | report a bug | advanced search | search howto | statistics | random bug | login |
PatchesPull RequestsHistoryAllCommentsChangesGit/SVN commits
[2003-10-31 08:38 UTC] sniper@php.net
[2003-10-31 09:27 UTC] six at t0x dot net
[2003-10-31 09:39 UTC] sniper@php.net
[2003-10-31 10:01 UTC] six at t0x dot net
[2003-10-31 10:06 UTC] six at t0x dot net
[2003-11-01 06:00 UTC] sniper@php.net
|
|||||||||||||||||||||||||||
Copyright © 2001-2025 The PHP GroupAll rights reserved. |
Last updated: Sun Dec 14 11:00:02 2025 UTC |
Description: ------------ As the subject states, filetype() on windows (w2k at least) returns wrong type for device drivers. Actually, it seems to always return the type "file". Reproduce code: --------------- <? // Of course this works with any device name with any extension echo "type : ".filetype("c:\com1.xxx"); ?> Expected result: ---------------- type : char Actual result: -------------- type : file