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)