1
0
Fork 0

Port 3.1 fixes to devel, support setting the agencyPrefix again.

This commit is contained in:
Max Neunhoeffer 2017-04-26 10:03:20 +02:00
parent db3195e736
commit 63d51b9ae4
1 changed files with 7 additions and 0 deletions

View File

@ -208,6 +208,13 @@ void AgencyFeature::start() {
return;
}
// Find the agency prefix:
auto feature = ApplicationServer::getFeature<ClusterFeature>("Cluster");
arangodb::consensus::Supervision::setAgencyPrefix(
std::string("/") + feature->agencyPrefix());
arangodb::consensus::Job::agencyPrefix
= std::string("/") + feature->agencyPrefix();
// TODO: Port this to new options handling
std::string endpoint;