Author: toad
Date: 2008-01-16 18:02:38 +0000 (Wed, 16 Jan 2008)
New Revision: 17076
Modified:
trunk/plugins/XMLLibrarian/XMLLibrarian.java
Log:
Version 12: We already mention the index site, don't repeat it.
Modified: trunk/plugins/XMLLibrarian/XMLLibrarian.java
===================================================================
--- trunk/plugins/XMLLibrarian/XMLLibrarian.java 2008-01-16 17:49:58 UTC
(rev 17075)
+++ trunk/plugins/XMLLibrarian/XMLLibrarian.java 2008-01-16 18:02:38 UTC
(rev 17076)
@@ -78,7 +78,7 @@
* Current configuration gets saved by default in the configfile.
* To Save the current configuration use "Save Configuration"
*/
- private int version = 11;
+ private int version = 12;
private String configfile = "XMLLibrarian.xml";
private String DEFAULT_FILE = "index.xml";
boolean goon = true;
@@ -229,10 +229,10 @@
searchStr(out,search,indices[i],stylesheet);
} catch (FetchException e) {
Logger.normal(this,
"Search for "+search+" in folder "+folder+" failed: "+e.toString(), e);
- out.append("<p>Unable
to fetch index "+HTMLEncoder.encode(indices[i])+" : "+e.getMessage());
+ out.append("<p>Unable
to fetch index: "+e.getMessage());
} catch (Exception e) {
Logger.error(this,
"Search for "+search+" in folder "+folder+" failed "+e.toString(), e);
- out.append("<p>Unable
to search in index "+HTMLEncoder.encode(indices[i])+" :
"+e.toString()+"</p>\n");
+ out.append("<p>Unable
to search in index: "+e.toString()+"</p>\n");
}
}}
}
@@ -608,10 +608,10 @@
}
}
} catch (FetchException e) {
- out.append("<p>Could not fetch sub-index for
"+HTMLEncoder.encode(search)+" in "+HTMLEncoder.encode(indexuri)+" :
"+e.getMessage()+"</p>\n");
+ out.append("<p>Could not fetch sub-index for
"+HTMLEncoder.encode(search)+" : "+e.getMessage()+"</p>\n");
Logger.normal(this, "<p>Could not fetch
sub-index for "+HTMLEncoder.encode(search)+" in
"+HTMLEncoder.encode(indexuri)+" : "+e.toString()+"</p>\n", e);
} catch(Exception e) {
- out.append("<p>Could not complete search for
"+HTMLEncoder.encode(search) +" in "+HTMLEncoder.encode(indexuri)+" :
"+e.toString()+"</p>\n");
+ out.append("<p>Could not complete search for
"+HTMLEncoder.encode(search) +" : "+e.toString()+"</p>\n");
Logger.error(this, "Could not complete search
for "+search +"in "+indexuri+e.toString(), e);
}
// Output results
