Il y a deux mois, l'un des deux disques de hal, le serveur principal de no-log, nous a laché. Nous en avons mis un nouveau hier. Sur ce serveur, les disques sont redondants, et le remplacement du disque A nécessite la copie de tout le contenu du disque B vers le nouveau disque A, afin d'obtenir un système cohérent de protection contre les pannes matérielles.

lire la suite