SYNOPSIS | |
void disconnect(object ob) | |
DESCRIPTION | |
Handle the loss of the IP connection for the (formerly) | |
interactive object ob. The connection can be lost because the | |
the underlying transport connection was lost (``netdead''), or | |
because of a call to exec() or remove_interactive(). The | |
connection will be unbound upon return from this call. | |
SEE ALSO | |
connect(M), remove_player(M), remove_interactive(E), exec(E), | |
interactive(E) |