Author: toad
Date: 2008-02-28 19:56:18 +0000 (Thu, 28 Feb 2008)
New Revision: 18228
Modified:
trunk/plugins/XMLSpider/XMLSpider.java
Log:
Logging
Modified: trunk/plugins/XMLSpider/XMLSpider.java
===================================================================
--- trunk/plugins/XMLSpider/XMLSpider.java 2008-02-28 19:46:45 UTC (rev
18227)
+++ trunk/plugins/XMLSpider/XMLSpider.java 2008-02-28 19:56:18 UTC (rev
18228)
@@ -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 = 23;
+ private static int version = 24;
private static final String pluginName = "XML spider "+version;
/**
* Gives the allowed fraction of total time spent on generating indices
with
@@ -1218,7 +1218,10 @@
public void makeIndex() throws Exception {
try {
synchronized(this) {
- if(!mustWriteIndex) return;
+ if(!mustWriteIndex) {
+ if(Logger.shouldLog(Logger.MINOR,
this)) Logger.minor(this, "Not making index, no data added since last time");
+ return;
+ }
mustWriteIndex = false;
}
time_taken = System.currentTimeMillis();