From be84973c40adcad7a2d0974ed80e36637b5c323c Mon Sep 17 00:00:00 2001
From: Max Neunhoeffer <max@arangodb.com>
Date: Tue, 17 May 2016 11:20:22 +0200
Subject: [PATCH] Fix ArangoPrefix to "arango".

---
 arangod/Cluster/AgencyComm.cpp | 22 ++++------------------
 1 file changed, 4 insertions(+), 18 deletions(-)

diff --git a/arangod/Cluster/AgencyComm.cpp b/arangod/Cluster/AgencyComm.cpp
index 1ee4f2321b..9dd3b4c5e0 100644
--- a/arangod/Cluster/AgencyComm.cpp
+++ b/arangod/Cluster/AgencyComm.cpp
@@ -900,25 +900,11 @@ std::string AgencyComm::getEndpointsString() {
 /// @brief sets the global prefix for all operations
 ////////////////////////////////////////////////////////////////////////////////
 
-bool AgencyComm::setPrefix(std::string const& prefix) {
+bool AgencyComm::setPrefix(std::string const&) {
+
   // agency prefix must not be changed
-  _globalPrefix = prefix;
-  _globalPrefixStripped = prefix;
-  
-  // make sure prefix starts with a forward slash
-  if (prefix[0] != '/') {
-    _globalPrefix = '/' + _globalPrefix;
-  }
-
-  // make sure prefix ends with a forward slash
-  if (_globalPrefix.size() > 0) {
-    if (_globalPrefix[_globalPrefix.size() - 1] != '/') {
-      _globalPrefix += '/';
-    }
-  }
-
-  LOG_TOPIC(TRACE, Logger::AGENCYCOMM) 
-      << "setting agency-prefix to '" << prefix << "'";
+  _globalPrefix = "/arango/";
+  _globalPrefixStripped = "arango";
   return true;
 }