object user; /* * NAME: edit() * DESCRIPTION: handle an editor command */ varargs void edit(string cmd) { if (user == 0 && previous_object() == this_user()->query_player()) { user = this_user(); editor(cmd); } else if (previous_object() == user) { editor(cmd); } } /* * NAME: receive_message() * DESCRIPTION: receive a message from the editor */ void receive_message(string str) { user->catch_tell(str); }