Server code for the StyleMUD