Discussion :

[laulaurent]

Salut,

J'aimerai savoir s'il est possible de renommer des fichiers juste avant le téléchargement.
En gros, sur le serveur, les fichiers sont stockés sous la forme id.extension, les chemins étant indiqués dans une table avec les id et d'autres choses. Est-il possible sans faire de doublon sur le serveur, que lorsque quelqu'un essaye de télécharger un de ces fichiers, le nom qui lui est proposé soit récupéré dans la table et non à partir du nom physique du fichier sur le serveur ??

Merci
Lau

[Cyberbob002]

Oui tu peux faire quelque chose comme ça :
au lieu de faire un lien qui pointe sur le fichier tu le fais pointer sur un fichier download.php auquel tu passe en parametre l'ID du fichier.

Contenu du fichier download.php

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
$id_fichier = $_GET['id];
$nouveau_nom_de_fichier = RESULTAT DE LA REQUETE;
 
// AJout de l'extension
$nouveau_nom_de_fichier .= '.zip';
 
// lecture binaire du fichier
$contenu_fichier = file_get_contents($chemin_du_fichier);
 
// Entetes HTTP pour l'envoi
header( 'Content-type: application/zip');   // Dans mon cas c'est un zip
header( 'Content-length: '. file_size($chemin_du_fichier));
header( 'Content-disposition: attachment; filename="'.$nouveau_nom_de_fichier.'"');
 
// envoi au navigateur
echo $contenu_fichier;

Il faut surement adapter mais l'idée est là.

[laulaurent]

Merci beaucoup de ton aide et quelle rapidité !!!
ciao
Lau