diff --git a/lib/Services/downloadConfiguration.dart b/lib/Services/downloadConfiguration.dart index 005941b..28f91fe 100644 --- a/lib/Services/downloadConfiguration.dart +++ b/lib/Services/downloadConfiguration.dart @@ -527,7 +527,12 @@ bool isResourceOutdated(ResourceDTO resource, List fileList, D // Fichier écrit avec une extension que la table ne savait pas déduire — c'était le // cas de tous les MP3 avant D3. Il est illisible, et sa date ne le dira jamais : // le serveur n'a pas changé, c'est le client qui l'avait mal enregistré. - if (localFile.first.uri.pathSegments.last.endsWith(".unknown")) return true; + // + // La date nulle borne la reprise à UN essai : sans elle, un type MIME réellement + // absent de la table se re-téléchargerait à chaque visite pour se réécrire en + // `.unknown`. On ne peut pas non plus déduire l'extension de l'URL en repli — une + // URL Firebase n'en porte pas. + if (localFile.first.uri.pathSegments.last.endsWith(".unknown") && localDateUpdate == null) return true; if (localDateUpdate == null || resource.dateUpdate == null) return false;