le nouveau download manager a été grandement amélioré (plus besoin d'attendre 2 secondes pour enregistrer une image)
Le problème avec le download manager (j'imagine que c'est çà qui a été repensé), c'est que la liste de tous les téléchargements est enregistrée dans un fichier ("downloads.rdf", dans le répertoire du profil), et ce fichier fini par devenir très gros (le mien était rendu à 1,8 Mo quand je m'en suis rendu compte). Comme le contenu du fichier est en XML, il ne suffit pas de concaténer des données à la fin du fichier pour ajouter des informations et j'imagine que la procédure d'enregistrement était celle-ci : lecture de tout le fichier pour construire de l'arbre DOM, mise à jour de l'arbre pour faire apparaître le nouveau téléchargement, enregistrement de l'arbre dans le fichier. Ce qui expliquerait que l'enregistrement d'un fichier (même petit) devienne de plus en plus long au fur et à mesure qu'on télécharge.
L'interface du download manager n'est pas du tout efficace pour vider la liste des fichiers téléchargés quand il y en a beaucoup (on dirait du O(N2)), c'est pourquoi je conseille de faire le ménage en supprimant le fichier "downloads.rdf" du profil (en attendant la 1.1 stable :).
[^] # Re: utilisable
Posté par Pierre Tramo . En réponse à la dépêche Mozilla 1.1 Beta. Évalué à 9.
Le problème avec le download manager (j'imagine que c'est çà qui a été repensé), c'est que la liste de tous les téléchargements est enregistrée dans un fichier ("downloads.rdf", dans le répertoire du profil), et ce fichier fini par devenir très gros (le mien était rendu à 1,8 Mo quand je m'en suis rendu compte). Comme le contenu du fichier est en XML, il ne suffit pas de concaténer des données à la fin du fichier pour ajouter des informations et j'imagine que la procédure d'enregistrement était celle-ci : lecture de tout le fichier pour construire de l'arbre DOM, mise à jour de l'arbre pour faire apparaître le nouveau téléchargement, enregistrement de l'arbre dans le fichier. Ce qui expliquerait que l'enregistrement d'un fichier (même petit) devienne de plus en plus long au fur et à mesure qu'on télécharge.
L'interface du download manager n'est pas du tout efficace pour vider la liste des fichiers téléchargés quand il y en a beaucoup (on dirait du O(N2)), c'est pourquoi je conseille de faire le ménage en supprimant le fichier "downloads.rdf" du profil (en attendant la 1.1 stable :).