SYNOPSIS void remove_player(object ob) DESCRIPTION Remove an interactive user object ob from the system. This function is called by the interpreter to expell remaining users from the system on shutdown in a polite way. If this functions fails to quit/destruct the user, he will be destructed the hard way by the interpreter. This function must not cause runtime errors. SEE ALSO remove_interactive(E), slow_shut_down(M)