Chris restarted servers

Oops! I apologize. While we were concentrating on the software, we didn't consider that the servers could run out of memory, since CPU usage had always been the limiting factor. Fortunately, a lack of memory is easy to fix.

Chris is restarting all the servers now to fix the problem. He'll also be adding in a tweak to restart the servers automatically if this happens again.

Sorry about that!

thx