Do not crash when a server is unavailable (fix #8).