Grosse interruption de service sur l'ensemble du Craggy Network aujourd'hui entre 12h30 et 18h55. Pour des raisons que j'ignore, le PPP n'a jamais réussi à ré-établir la liaison après la coupure quotidienne survenue peu après 12h30 ce midi. Je n'ai pas pu non plus relancer le PPP à la main, mais un redémarrage du modem et de Ted, la machine BSD, a suffit pour revenir à la normale. Etrange...
