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