The server has been restarted, but the only change was to add extra debugging to the server to help us figure out the problem. If the problem occurs again, the server will crash.
I've already messaged the individual, to find out what exactly they've done recently. As long as they don't log on till we can fix/get a fix for it we should be fine. (frantic, insecure, neurotic, emotional.)