ci dovrebbe essere qualcosa in questo codice che non fa fare l'upload del file sul server, riuscite ad individuarlo?



//a file was uploaded
$maxfilesize=5000000;
if ($_FILES['file1']['size'] > $maxfilesize) {
unlink($_FILES['file1']['tmp_name']);
//file is too large
$URL="admin_ins_corsi.php?id=".$id."&pagina=400000 ";
header ("Location: ".$URL);
}
elseif ($_FILES['file1']['type'] != "application/pdf") {
unlink($_FILES['file1']['tmp_name']);
//This file type is not allowed
$URL="admin_ins_corsi.php?id=".$id."&pagina=40000" ;
header ("Location: ".$URL);
} else {

$file = $_FILES['file1']['name'];
// inizio pulisco le stringhe dai caratteri indesiderati
$titolo_file = $_POST['titolo_file1'];
$file_b = preg_replace('/\s/', '', $file);

$cerca = array ('/', '\"', '__', '--', ' ', '\'', '®', '©', 'à', 'è', 'ì', 'ò', 'ù', 'é');
$sostituisci = array(' ', '', '_', '-', ' ', '', '', '', 'a', 'e', 'i', 'o', 'u', 'e');

$titolo_file = str_replace($cerca, $sostituisci, $titolo_file);
$file_b = str_replace($cerca, $sostituisci, $file_b);
// fine pulisco le stringhe dai caratteri indesiderati

$filepresente = ("/home/user/htdocs/sito/filesharing_files/$file_b");

if (file_exists($filepresente)) {

// trova il tipo di estensione del file
function estensione($file_b){
$trova_punto = explode(".", $file_b);
$estensione = $trova_punto[count($trova_punto) - 1];
$estensione = strtolower($estensione);
if (isset($trova_punto[1]) == FALSE){
return "Nessuna estensione";
}
return $estensione;

}

// separa l'estensione dal nome del file
$estensione_file = estensione($file_b);

// separa il nome dall'estensione del file
$file_c = explode(".",basename($file_b));

// assegna un nome univooco al nome del file
$file_d = uniqid($file_c[0]).".".$estensione_file;

copy($_FILES['file1']['tmp_name'],"../filesharing_files/".$_FILES['file1']['name']);
unlink($_FILES['file1']['tmp_name']);