report index time of files with Level.FINEST

Author: Vladimir Kotal

opengrok-indexer/src/main/java/org/opengrok/indexer/index/IndexDatabase.java

@@ -1245,6 +1245,7 @@ private void indexParallel(String dir, IndexDownArgs args) {
                     int tries = 0;
                     Ctags pctags = null;
                     boolean ret;
+                    Statistics stats = new Statistics();
                     while (true) {
                         try {
                             if (alreadyClosedCounter.get() > 0) {
@@ -1284,6 +1285,8 @@ private void indexParallel(String dir, IndexDownArgs args) {
                         }
 
                         progress.increment();
+                        stats.report(LOGGER, Level.FINEST,
+                                String.format("file ''%s'' %s", x.file, ret ? "indexed" : "failed indexing"));
                         return ret;
                     }
                 }))).get();