20141222 / Problème /scratch E5-2670
Deux serveurs de /scratch étaient tombés.
Ils ont été re-démarrés avec l'aide de Loïs depuis chez lui.
Tout semble OK maintenant.
hard
,
batch