Server code for the unnamed MUD