[SPIP Zone] Synchronisation plugins.spip.net / contrib.spip.net

Salut à tous et toutes,

il existe un système qui permet que les infos sur les plugins documentés
contrib.spip.net soient automatiquement synchronisés avec les infos
fournies par plugins.spip.net, elles même synchronisé avec la zone (pour
l'essentiel).

Cependant ce système souffrait d'un défaut. Il fonctionnait ainsi :
toutes les 50 minutes, 20 plugins tirés au sort étaient synchronisés. Ce
qui fait que, selon le hasard des tirage aux sorts, certains plugins
pouvaient mettre beaucoup de temps à être synchronisés.

Je viens d'apporter deux modifications:
- les plugins ne sont plus tirés aux sorts, mais parcourus de manière
linéaire
https://git.nursit.net/spip/galactic/contrib/commit/d89f4b45
- la fréquence est passé à 45 minutes, et le nombre de plugins mis à
jour à 25.
https://git.nursit.net/spip/galactic/contrib/commit/40cbaee4

Je pense que cela devrait nous éviter d'avoir des infos dépassés. A voir
en pratique s'il n'y a pas un souci ailleurs (mais au moins on aura des
messages de logs cohérent et pas aléatoire!)

bises

Maïeul

Merci Maieul !

--
RastaPopoulos

J'ai complété avec les fonctions suivantes:
- si le lien de documentation indique simplement le numéro de l'article, en tenir compte quand même (je fais souvent cela sur mes plugins, car je n'ai pas l'url de l'article au moment où je commence à rédiger la doc)
- si on pointe vers une rubrique, associer les zip à tous les articles de la rubrique
- également un petit script qui migre automatiquement les documents distants http://files.spip.org en https://files.spip.net. Valable aussi pour http:/files.spip.net et https://files.spip.org. Cela une seule fois, pour avoir une base "propre"

Pour les détails, voir les commits sur le dépôt nursit.

C'est déployé.