Bonsoir,
Le projet Debian vient de publier une mise à jour corrective pour le noyau linux.
En conséquence, une partie des serveurs sera redémarrée ce soir, à partir de 23h00.
L’autre partie sera redémarrée demain matin, avant 8h00.
Durant le re-démarrage des serveurs, les ressources informatiques seront indisponibles.
Merci de votre compréhension.
Bonne soirée.
Mise à jour : lundi 19 juin – 23H02
Le routeur du réseau pédagogique vient d’être redémarré.
Mise à jour : mardi 20 juin – 6H30
Tous les serveurs ont été redémarrés.
Le CCRI.