par
albat » 15 nov. 2008, 19:04
À partir diu moment où le téléchargement est initié, tu n'as plus la main sur le fichier.
S'il faut modifier alors l'extension du fichier, seul l'utilisateur le peut.
Éventuellement, on peut envisager de générer le fichier
avec l'extension adéquate, le zipper et lancer le téléchargement du zip.
Cela évitera les renommages/changements d'extension.
Mais tes utilisateurs savent-ils dézipper ?...

À partir diu moment où le téléchargement est initié, tu n'as plus la main sur le fichier.
S'il faut modifier alors l'extension du fichier, seul l'utilisateur le peut.
Éventuellement, on peut envisager de générer le fichier
avec l'extension adéquate, le zipper et lancer le téléchargement du zip.
Cela évitera les renommages/changements d'extension.
Mais tes utilisateurs savent-ils dézipper ?... :-*