<commit_before>module PugBot
  # The plugin to be imported into a cinch bot instance that actually interprets
  # the users input, tracks players and controls nearly all running of the pug
  # bot itself.
  class BotPlugin
    # When a game ends, start a timer until the game is actually deleted by
    # Game.timeout and the players can join other queues again.
    # @param <Game> game The game that has just finished.
    # @return <Cinch::Timer> The timer that has just been created.
    # @see Game.timeout
    def timer_game_end(game)
      Timer(15, shots: 1) { game.timeout }
    end
  end
end<commit_msg>Use finish_timeout constant rather than 15s in timer_game_end<commit_after>module PugBot
  # The plugin to be imported into a cinch bot instance that actually interprets
  # the users input, tracks players and controls nearly all running of the pug
  # bot itself.
  class BotPlugin
    # When a game ends, start a timer until the game is actually deleted by
    # Game.timeout and the players can join other queues again.
    # @param <Game> game The game that has just finished.
    # @return <Cinch::Timer> The timer that has just been created.
    # @see Game.timeout
    def timer_game_end(game)
      Timer(FINISH_TIMEOUT, shots: 1) { game.timeout }
    end
  end
end
{'fraction_non_alphanumeric': 0.05754276827371695, 'fraction_numerical': 0.004665629860031105, 'mean_word_length': 3.347972972972973, 'pattern_counts': {'":': 0, '<': 7, '<?xml version=': 0, '>': 7, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1417105', 'n_tokens_mistral': 367, 'n_tokens_neox': 358, 'n_words': 174}