| 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) |