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