Merge branch 'devel' of https://github.com/arangodb/arangodb into devel

2016-09-05 15:27:09 +02:00 · 2016-09-05 15:27:09 +02:00 · daa5e9c587
parent af149e8b7b 9808a55a33
commit daa5e9c587
1 changed files with 0 additions and 2 deletions
--- a/arangod/Agency/Supervision.h
+++ b/arangod/Agency/Supervision.h
@ -148,8 +148,6 @@ class Supervision : public arangodb::Thread {

  void shrinkCluster();

-  bool isShuttingDown();
-  
  bool handleJobs();
  void handleShutdown();