NAME
	DeletePlayer -- delete a player. (V37)

   SYNOPSIS
	DeletePlayer(player);
	             A0

	VOID DeletePlayer(struct Player *);

   FUNCTION
	Deletes the specified player.

	Flushes the conductor that the player was connected to if this
	is the last player connected to that conductor.

   INPUTS
	player - Player structure to delete, as allocated by
		 CreatePlayer(). May be NULL, in which case this function
		 does nothing.

   SEE ALSO
	CreatePlayer()