No, I meant that the server wasn't responding just then and so maybe it was the same problem the admin had been commenting on. Though as it turned out, he thought it was a completely different problem that day.

Hmm. I guess I'll let him know that we should try to troubleshoot it a bit more. Thanks!