Código PHP:
$archivo=$_FILES["archivo"];
$nombre_archivo = $HTTP_POST_FILES["archivo"]['name'];
$tipo_archivo = $HTTP_POST_FILES['archivo']['type'];
$tamano_archivo = $HTTP_POST_FILES["archivo"]['size'];
$extension = explode('.',$nombre_archivo);
$extt= ".{$extension[1]}";
// $directorio=$_SERVER['DOCUMENT_ROOT']."/files/";
$pepe=$HTTP_POST_VARS['id_art'].$extt;
$directorio="./info_pdf/";
$ruta_archivo=$directorio.$pepe;
//echo "Copiando: ".$archivo["tmp_name"]." a ".$ruta_archivo."<br>";
if (!($extt== ".pdf")) {
echo "La extensión del archivo no es correcta. <br><br><table><tr><td>Se permiten archivos .pdf</td></tr></table>";
}else{
if (copy($archivo["tmp_name"],$ruta_archivo)){
echo "El archivo ha sido cargado correctamente.";
}else{
echo "Ocurrió algún error al subir el fichero. No pudo guardarse.";
}
}
Alguien tiene la respuesta a esto desde ya muchas gracias