do not crash on empty followers list (#6374)

2018-09-05 16:52:09 +02:00 · 2018-09-05 16:52:09 +02:00 · 2478e5ae18
parent 2a4e327d8c
commit 2478e5ae18
1 changed files with 1 additions and 1 deletions
--- a/arangod/Sharding/ShardDistributionReporter.cpp
+++ b/arangod/Sharding/ShardDistributionReporter.cpp
@ -255,7 +255,7 @@ static void ReportOffSync(
      auto const& c = counters[s.first];
      if (c.insync) {
        ReportShardNoProgress(s.first, s.second, aliases, result);
-      } else {
+      } else if (!c.followers.empty()) {
        ReportShardNoProgress(s.first, c.followers, aliases, result);
      }
    }