1
0
Fork 0

Merge branch 'sharding' of ssh://github.com/triAGENS/ArangoDB into sharding

This commit is contained in:
Max Neunhoeffer 2014-02-07 16:08:39 +01:00
commit bca5b0e305
1 changed files with 2 additions and 1 deletions

View File

@ -8872,7 +8872,8 @@ static v8::Handle<v8::Value> JS_ListDatabases_Coordinator
vector<ServerID> DBServers; vector<ServerID> DBServers;
while (++tries <= 2) { while (++tries <= 2) {
DBServers = ci->getCurrentDBServers(); DBServers = ci->getCurrentDBServers();
if (DBServers.size() != 0) {
if (! DBServers.empty()) {
ServerID sid = DBServers[0]; ServerID sid = DBServers[0];
ClusterComm* cc = ClusterComm::instance(); ClusterComm* cc = ClusterComm::instance();
ClusterCommResult* res; ClusterCommResult* res;