Function GetEnvInt

src/colmap/util/file.cc:340–351

    1;  // linear backoff: 1s, 2s, ...

int GetEnvInt(const char* name, int default_value) {
  const std::optional<std::string> val = GetEnvSafe(name);
  if (val.has_value() && !val->empty()) {
    try {
      return std::stoi(*val);
    } catch (const std::exception&) {
      LOG(WARNING) << "Invalid value for " << name << ": " << *val
                   << ". Using default: " << default_value;
    }
  }
  return default_value;
}

std::optional<std::string> DownloadFile(const std::string& url) {
  VLOG(2) << "Downloading file from: " << url;