Closes #219: button to force full reindexing

docs-core/src/main/java/com/sismics/docs/core/listener/async/RebuildIndexAsyncListener.java

@@ -63,5 +63,9 @@ public class RebuildIndexAsyncListener {
                 offset += 100;
             } while (fileList.size() > 0);
         });
+
+        if (log.isInfoEnabled()) {
+            log.info("Rebuilding index done");
+        }
     }
 }

docs-core/src/main/java/com/sismics/docs/core/model/context/AppContext.java

@@ -190,7 +190,7 @@ public class AppContext {
     public int getQueuedTaskCount() {
         int queueSize = 0;
         for (ThreadPoolExecutor executor : asyncExecutorList) {
-            queueSize += executor.getQueue().size();
+            queueSize += executor.getTaskCount() - executor.getCompletedTaskCount();
         }
         return queueSize;
     }

docs-web/src/main/webapp/src/app/docs/controller/settings/SettingsMonitoring.js

@@ -13,4 +13,11 @@ angular.module('docs').controller('SettingsMonitoring', function($scope, Restang
   }).then(function(data) {
     $scope.logs = data.logs;
   });
+
+  $scope.reindexingStarted = false;
+  $scope.startReindexing = function() {
+    Restangular.one('app').post('batch/reindex').then(function () {
+      $scope.reindexingStarted = true;
+    });
+  };
 });

docs-web/src/main/webapp/src/locale/en.json

@@ -411,7 +411,11 @@
       "server_logs": "Server logs",
       "log_date": "Date",
       "log_tag": "Tag",
-      "log_message": "Message"
+      "log_message": "Message",
+      "indexing": "Indexing",
+      "indexing_info": "If you notice discrepancies in the search results, you can try to do a full reindexing. Search results will be incomplete until this operation is done.",
+      "start_reindexing": "Start full reindexing",
+      "reindexing_started": "Re-indexing started, please wait until there is no more background tasks."
     },
     "session": {
       "title": "Opened sessions",

docs-web/src/main/webapp/src/partial/docs/settings.monitoring.html

@@ -5,6 +5,14 @@
   <span class="fas fa-circle-notch text-warning fa-spin" ng-if="app.queued_tasks > 0"></span>
 </p>
 <p>{{ 'settings.monitoring.queued_tasks_explain' | translate }}</p>
+
+<h2 translate="settings.monitoring.indexing"></h2>
+{{ 'settings.monitoring.indexing_info' | translate }}
+<div class="mt-10">
+  <button class="btn btn-danger" ng-click="startReindexing()" ng-show="!reindexingStarted">{{ 'settings.monitoring.start_reindexing' | translate }}</button>
+  <span class="text-danger" ng-show="reindexingStarted"><strong>{{ 'settings.monitoring.reindexing_started' | translate }}</strong></span>
+</div>
+
 <h2 translate="settings.monitoring.server_logs"></h2>
 <table class="table table-hover table-logs">
   <thead>