He did! :) It was located in the `/srv/server/bin/cfg` file.
It actually looks like a reasonable system overall. Maybe a bit bloated on the node.js side (what isn't?), but I wonder if they just had that toolchain already in place/experience with it, even though it's overkill for the system as-is. Or maybe they just googled how to do networking and copy/pasted the top Stack Overflow answer that included Socket.IO.