20151112 / Problème réseau + serveur OS

Un problème réseau est apparu le 11/11 dans la matinée, il est en cours de traitement.

EDIT 12/11/2015 11h00 : De plus, un bug système est apparu sur le serveur d'OS. Loïs et Emmanuel sont en train d'investiguer pour un retour à la normale le plus rapidement possible.

EDIT 13/11/2015 10h30 : Le problème semble fixé, redémarrage progressif des serveurs et de certaines queues.

EDIT 13/11/2015 14h30 : Les queues suivantes sont up: - toutes les queues E5-2667v2… - E5-2670deb128 - toutes les queues x5570 - toutes les queues x5650 - r815lin128ib - une grande partie des queues séquentielles Les autres queues seront re-démarrées progressivement lundi dans la matinée.