+void ExitPlayer(struct PlayerInfo *player)
+{
+ DrawPlayer(player); /* needed here only to cleanup last field */
+ RemovePlayer(player);
+
+ if (local_player->players_still_needed > 0)
+ local_player->players_still_needed--;
+
+ /* also set if some players not yet gone, but not needed to solve level */
+ if (local_player->players_still_needed == 0)
+ AllPlayersGone = TRUE;
+}
+