On 02/14/2014 08:25 AM, Marcus Denker wrote:
I think there where some network problems at Inria the night… my watchdog told my that lots of services randomly where unavailable for some time.
Sounds right because I actually pinged it, and it did not reply. Now it does. regards, Göran
