hint that invalid indices must be manually deleted

diff --git a/utils/check_import_finished.php b/utils/check_import_finished.php
index 82d5b509ddc47e12fa9b9389c819bbe4d670e8c8..c6ccb67b392e858ca91d4144c3710e9858e95b84 100755 (executable)
--- a/utils/check_import_finished.php
+++ b/utils/check_import_finished.php
@@ -144,7 +144,8 @@ if (empty($aInvalid)) {
     $print_fail();
     echo <<< END
     At least one index is invalid. That can happen, e.g. when index creation was
-    disrupted and later restarted. You should run the index stage of setup again.
+    disrupted and later restarted. You should delete the affected indices and
+    run the index stage of setup again.
     See the question 'Can a stopped/killed import process be resumed?' in the
     troubleshooting guide.
     Affected indices: