Afin d'éviter ces désagréments, nous avons finalement repassé cette partie sur un port 80 standard. La situation devrait donc revenir à la normale en cours de journée, et si vous constatez encore quelques étrangetés dans l'affichage des pages, n'hésitez pas à forcer un rafraichissement ou à vider le cache de vos navigateurs.
Pour finir avec les détails scabreux
, sachez que depuis lundi
dernier, les dépôts thèmes et plugins ont été répartis sur les deux serveurs
alors qu'ils résidaient jusque là sur un seul d'entre eux[1].
Nous espérons ainsi que les temps de réponse de nos dépôts resteront corrects, nous permettant ainsi d'introduire sereinement une petite nouveauté dans le courant de la semaine[2].
Commentaires
par Osku
>une petite nouveauté
A part la possibilité de soumettre de nouveau nos extensions et thèmes, je ne vois pas :-)
Quoique ;-)
par Tomtom
Moi, j'ai ma p'tite idée! :-p