boss: Fix BOSS not honoring the proxy_server setting (#1344)

This commit is contained in:
Andrea Toska 2024-09-16 12:40:38 +02:00 committed by GitHub
parent a05bdb172d
commit adffd53dbd
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -137,6 +137,10 @@ namespace iosu
this->task_settings.taskType = settings->taskType; this->task_settings.taskType = settings->taskType;
curl = std::shared_ptr<CURL>(curl_easy_init(), curl_easy_cleanup); curl = std::shared_ptr<CURL>(curl_easy_init(), curl_easy_cleanup);
if(GetConfig().proxy_server.GetValue() != "")
{
curl_easy_setopt(curl.get(), CURLOPT_PROXY, GetConfig().proxy_server.GetValue().c_str());
}
} }
}; };