Yep the server is in C++. The level editor is mostly for personal use right now, so it just generates the C++ code that I need to paste into a file. I plan to make the editor public and make an easy process to submit levels so maybe some day no one will ever be able to reach the end.
They're really overpowered for what they're using atm. I'm just keeping extra capacity just in case. Web server is on a Linode 2048 and Game server is on a Linode 4096 (not even using 15% of the CPUs).