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)