Method AutoMenuManager

bwapi/BWAPI/Source/BWAPI/AutoMenuManager.cpp:24–30

}

AutoMenuManager::AutoMenuManager()
{
  auto const seedOverride = LoadConfigInt("starcraft", "seed_override", std::numeric_limits<decltype(GameImpl::seedOverride)>::max());
  if (seedOverride != std::numeric_limits<decltype(seedOverride)>::max())
    mt.seed(seedOverride);
  this->reloadConfig();
}

void AutoMenuManager::reloadConfig()
{