filedownload.

[Anon]

Does anyone know how to get the type of a file stored on a server? Eg EXE, ZIP, RA, GIF...

[shanx24]

If you can be certain that the extensions to the files are valid (for instance, .htm files are indeed HTML files, .gif files are indeed GIF files etc)..then you could use the following not-the-best-but-simple solution.

Take the "basename()" of the file, and then get the letters AFTER the "." on the file.

For instance, if the filename is "mysoftware.exe", then get the "exe" after the dot.

I think you could use something like this:

$myFileName = basename(somepath);
$myFileExtension = substr($myFileName, strpos("."));

Let me know if this works, I havent tried it..

Shanx

[shanx24]

Ok, here is a better example:

---------------------CODE---------------------
<?php

ob_start("ob_gzhandler"); 
$myFileName = basename("e:\shanx\_FileType.xp");
$myFileExt  = substr($myFileName, strpos($myFileName, ".") + 1);
echo ("File type is *.$myFileExt" );

?>
---------------------/CODE---------------------

Hope this helps,
Shanx