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)