clock management at the end of games.