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