Pues asi a simple vista no ser q te puede estar pasando.
Código PHP:
$nombre_corto = $HTTP_POST_FILES['up_file']['name'];
$tipo_archivo = $HTTP_POST_FILES['up_file']['type'];
$extension = explode(".",$nombre_corto);
$num = count($extension)-1;
//Prueba esto a ver si te imprime pdf o no....
echo $extension[$num];
if($extension[$num] == "pdf")
{
move_uploaded_file($HTTP_POST_FILES['up_file']['tmp_name'], realpath('.') . '/' . $nombre_corto);
//echo "archivo subido con exito";
}
else
{
echo "<script>alert (Tipo de archivo incorrecto! Solo se admiten PDF!!')</script>";
}
añade esto: echo $extension[$num]; para saber si te llega bien el tipo de archivo.
saludos