Ticket #655 (closed defect: fixed)
Erreur avec format d'image autre que jpg
| Reported by: | fxjpl | Owned by: | kozlika |
|---|---|---|---|
| Priority: | normal | Component: | plugin:listImages |
| Severity: | normal | Keywords: | |
| Cc: |
Description
Ce ticket fait suite à ce billet sur le forum. L'erreur avait également été mentionnée ici, apparemment sans trouver de solution.
Le code du plugin génère une curieuse erreur : si l'image originale a une autre extension que .jpg, alors la recherche de la taille de l'image originale provoque l'erreur suivante :
Warning: getimagesize (/homez.420/mediathe/www/dotclear/../dotclear-files/publicimages/monimage.jpg) [function.getimagesize]: failed to open stream: No such file or directory in /homez.420/mediathe/www/dotclear-files/plugins/listImages/_public.php on line 406
Autrement dit : il y a un slash de trop entre "public" et "images" dans l'URL de l'image... Quel rapport avec le fait que l'image originale soit en .gif ? Je n'en ai aucune idée... Et pourtant mes tests montrent clairement que cela n'arrive que lorsque mes images ne sont pas en .jpg.
La ligne 406 (plugin modifié chez moi, ce n'est donc pas le numéro de ligne dans le plugin par défaut) correspond à :
$media_info = getimagesize($root.'/'.$infodirname?.'/'.$base.'.'.$infoextension?);
En fait il n'y a pas de rapport entre le bug et le doublement du slash (il est simplement ignoré, ie réduit à un simple slash).