sistema de ficheros...

[Hari Seldon]

Hola,

un par de preguntas:

1) tengo una tabla de artículos. Un campo me almacena el nombre de un archivo descargable, por ejemplo 500.pdf. Pero puede ser de cualquier otra extensión. El problema es que cuando muestro un link en pantalla para descargar el archivo quiero también mostrar un mensaje que diga el tipo mime de lo que se va a descargar. Algo así como: "clic aquí para descargar este artículo en formato pdf", en este caso. Como lo hago para averiguar el tipo de un archivo con PHP y sin tener que almacenar esta información manualmente en la BBDD??? Verdad que no hay ninguna función PHP que devuelva el tipo mime de un archivo o algo parecido?

2) Como hago que un script PHP obtenga una lista de todos los archivos de un directorio del servidor??? Resulta que tengo en una carpeta una serie de archivos del tipo 500.rdf, 499.rdf, 498.rdf, y así hasta 1.rdf. Entonces necesito que un script PHP averigue el nombre del archivo mayor, en este caso 500, ya que esto va variando. Me he mirado el manual y no veo ninguna función que devuelva una lista de los archivos de un directorio y no sé muy bien como hacerlo.

Mil gracias.

HS

[Cluster]

PHP tiene muchas funciones predefinidas .. pero en algun momento toca usar un par ( o mas) para hacer lo que uno desea .

Tienes funciones como opendir() .. readir() . etc que sirven para lo que necesitas ...
Es mas, si lees el manual de PHP la info sobre la funcion readir (en inlges) .. veras un ejemplo completo de como hacer lo que buscas:

<?php

if ($dir = @opendir("/tmp")) {
while (($file = readdir($dir)) !== false) {
echo "$file\n";
}
closedir($dir);
}

?>


<a href='ir.asp?http://www.php.net/manual/en/function.opendir.php' target='_blank'>http://www.php.net/manual/en/function.op...</a>


Un saludo,

[Hari Seldon]

Hola !!!!!!!!!!!!

la verdad es que tengo muy poca paciencia a veces para leerme a fondo el manual de PHP y ni siquiera me había dado cuenta de que existian esas funciones para directorios!!!! Qué verguenza! En fin...

En cualquier caso, no existe ninguna función que diga el tipo mime de un archivo, verdad? O sí? Algo como:

echo dimeTipoMimeDeEsteArchivo(&quot;archivo.txt&quot;) ;

Por una parte me cuesta creer que PHP no disponga de algo así pero el problema es que me cuesta más buscarlo en el manual !

Gracias.

HS