OK
AJAX error!

Les forumsGrammalecteÉditeur lexical — nombre d’entrées limité ?

Éditeur lexical — nombre d’entrées limité ?

Avec la dernière version de Grammalecte, je suis bloqué à 11 entrées (utilisables).
Enregistrer une douzième est possible, mais bien que les 12 entrées soient affichées, la douzième n’est pas exportée et lors de l’appel suivant à l’éditeur lexical, seuls onze sont encore disponibles.

Il y a d’ailleurs une incohérence entre la deuxième ligne :
[Dictionnaire __personnel__ [2019-04-27 16:13:15] 11 entrées Importer Exporter]
et la ligne suivante :
[Lexique · 12 entrées Enregistrer Ajout Recherche Informations]
L’exportation n’a pas l’air de faire mieux…

EDIT : dans la version pour Firefox… (pas essayé dans LibreOffice)
le 27 avril 2019 à 16:28
Il n’y a pas de limite, sauf la mémoire du PC.
Affiche la console (CTRL+MAJ+J), vide-la, fais tes opérations et vois si un message d’erreur apparaît.
le 27 avril 2019 à 17:05
J’ai ajouté un nouveau Nom propre à la liste de 11.
— "Ajouter" => ne renvoie aucune erreur (nombre d’éléments dans la liste : 12 ; dernier = "Biddy" :M1:f:i/*)
— "Enregistrer" => message d’erreur :

uncaught exception: Conversion to byte string: value bigger than allowed.


le 27 avril 2019 à 20:23
Envoie-moi un export de ton dictionnaire à : olivier /arobase/ grammalecte /point/ net
Merci.
le 28 avril 2019 à 10:51
Merci pour le fichier. J’arrive enfin à reproduire ce bug qui m’avait déjà été rapporté mais que je n’avais jamais pu constater.
Pour le contourner, en attendant, je te suggère d’ajouter autre chose avant de réessayer.
C’est un Heisenbug qui n’apparaît même pas tout le temps en conditions a priori identiques.
le 29 avril 2019 à 13:26
Corrigé !
Bug subtil et vraiment pas facile à trouver. J’avais oublié de compter la taille du node racine pour estimer la taille du dictionnaire et par conséquent la taille de l’adresse des nodes dans le dictionnaire binaire.
Du coup, si la taille totale du nombre de nodes d’un dictionnaire était comprise dans le petit intervalle où la taille des adresses des nodes était insuffisante, ça provoquait une erreur d’adressage.

Bref, comme c’est un bug rédhibitoire, je vais encore faire une mise à jour prochainement.
le 29 avril 2019 à 15:26

Notification par e-mail    0