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, so for the time of this call, interactive(ob) will still return TRUE even if the actual network connection has already been lost. This method is not called if the object has been destructed already. SEE ALSO connect(M), remove_player(M), remove_interactive(E), exec(E), interactive(E)