Problema readdir

[mafeldj]

Ragazzi ho un problema , ho creato una pag in php che mi da' l'elenco dei file contenuti in una directory , e li linka ... il codice è questo

<?php
if ($dir = @opendir("midi")) {
  while (($file = readdir($dir)) !== false) { 
    echo "<a href=midi/$file>$file</a>"."
";
  }  
  closedir($dir);
}
?>

funziona correttamente solo che il problema avviene quando il nome dei file è staccato (es: "midi midi.mid") , cioè visualizza il nome , ma non lo fa scaricare perchè nel link in alto prende solo "midi" e non "midi%20midi.mid" per esempio...

come posso risolvere

[var]

prova così:

<?php

if ($dir = @opendir("midi")) {

  while (($file = readdir($dir)) !== false) { 
    $file=str_replace(' ', '%20', $file); 
    echo "<a href=midi/$file>$file</a>"."
";

  }  

  closedir($dir);

}

?>

ciao

[mafeldj]

cosi funziona correttamente, ma se vedi anche il nome del file appare con il %20

es: Adams%20Song%20-%20Blink%20182.mid

http://www.halflifeproject.it/public/spaziogames/midi/

[IcedGlow]

<?php
if ($dir = @opendir("midi")) {
  while (($file = readdir($dir)) !== false) { 
    $file2=str_replace(' ', '%20', $file); 
    echo "<a href=midi/$file2>$file</a>"."
";
  }
  closedir($dir);
}
?>

[mafeldj]

perfetto !!! ty