*/
package jalview.ws.jws2.jabaws2;
+import jalview.bin.Instance;
import jalview.gui.AlignFrame;
import jalview.gui.Desktop;
import jalview.util.MessageManager;
}
throw new Error(MessageManager.formatMessage(
"error.implementation_error_runner_config_not_available",
- new String[] { serviceType, service.getClass().toString() }));
+ new String[]
+ { serviceType, service.getClass().toString() }));
}
@Override
{
try
{
- Closeable svc = (Closeable) service;
- service = null;
- svc.close();
- } catch (Exception e)
+ ((Closeable) service).close();
+ } catch (Throwable t)
{
+ // ignore
}
- ;
}
super.finalize();
}
try
{
paramStore = new JabaParamStore(this,
- (Desktop.instance != null ? Desktop.getUserParameterStore()
+ (Instance.getDesktop() != null ? Desktop.getUserParameterStore()
: null));
} catch (Exception ex)
{
// this is only valid for Jaba 1.0 - this formula might have to change!
return hosturl
+ (hosturl.lastIndexOf("/") == (hosturl.length() - 1) ? ""
- : "/") + serviceType;
+ : "/")
+ + serviceType;
}
private boolean hasParams = false, lookedForParams = false;