EndGame

// End the currently running game, play sEndMovie then return all players to the // game's main menu. void EndGame(string sEndMovie);