}
public void newAppbase (URL url) {
- if ((url.getHost().endsWith(".jalview.org") || url.equals("jalview.org"))) {
+ if (
+ url.getHost().endsWith(".jalview.org")
+ || url.equals("jalview.org")
+ || (url.getProtocol().equals("file") && url.getHost().equals(""))
+ ) {
newAppbase = url;
+ log.info("Appbase set to Java Version Locator url '"+url.toString()+"'");
+ return;
}
log.info("Java Version Locator url '"+url.toString()+"' does not have a jalview.org domain. Ignoring");
}