Author: toad
Date: 2008-02-28 19:46:45 +0000 (Thu, 28 Feb 2008)
New Revision: 18227
Modified:
trunk/plugins/XMLSpider/XMLSpider.java
Log:
23: Logging
Modified: trunk/plugins/XMLSpider/XMLSpider.java
===================================================================
--- trunk/plugins/XMLSpider/XMLSpider.java 2008-02-28 19:37:13 UTC (rev
18226)
+++ trunk/plugins/XMLSpider/XMLSpider.java 2008-02-28 19:46:45 UTC (rev
18227)
@@ -141,7 +141,7 @@
public Set allowedMIMETypes;
private static final int MAX_ENTRIES = 2000;
private static final long MAX_SUBINDEX_UNCOMPRESSED_SIZE = 256*1024;
- private static int version = 22;
+ private static int version = 23;
private static final String pluginName = "XML spider "+version;
/**
* Gives the allowed fraction of total time spent on generating indices
with
@@ -1223,9 +1223,11 @@
}
time_taken = System.currentTimeMillis();
generateIndex2();
+ if(Logger.shouldLog(Logger.MINOR, this)) Logger.minor(this,
"Producing top index...");
produceIndex2();
time_taken = System.currentTimeMillis() - time_taken;
tProducedIndex = System.currentTimeMillis();
+ if(Logger.shouldLog(Logger.MINOR, this)) Logger.minor(this,
"Made index, took "+time_taken);
} finally {
scheduleMakeIndex();
}