Dear all, this afternoon at 18:00 the whois server was down for approx. 5 min. This was due to a crash of the machine caused by a kernel problem. The system is up again and the cause is being investigated. Regards, Joao Damas RIPE NCC