X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fws%2Fjws2%2Fjabaws2%2FJws2Instance.java;h=e092192d400e7d6860749eef09a7c554c4bad614;hb=feeb56fc2f3d7c40a46466ff52c7663cc96d6c70;hp=120ce27cd98777b16383480ed8fe08a70e9f6b99;hpb=aced09c4feeaf3406269442c14e54abeeb4cad81;p=jalview.git diff --git a/src/jalview/ws/jws2/jabaws2/Jws2Instance.java b/src/jalview/ws/jws2/jabaws2/Jws2Instance.java index 120ce27..e092192 100644 --- a/src/jalview/ws/jws2/jabaws2/Jws2Instance.java +++ b/src/jalview/ws/jws2/jabaws2/Jws2Instance.java @@ -1,6 +1,6 @@ /* - * Jalview - A Sequence Alignment Editor and Viewer (Version 2.8.2) - * Copyright (C) 2014 The Jalview Authors + * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$) + * Copyright (C) $$Year-Rel$$ The Jalview Authors * * This file is part of Jalview. * @@ -38,7 +38,7 @@ import compbio.data.msa.SequenceAnnotation; import compbio.metadata.PresetManager; import compbio.metadata.RunnerConfig; -public class Jws2Instance +public class Jws2Instance implements AutoCloseable { public String hosturl; @@ -157,25 +157,26 @@ public class Jws2Instance { return ((SequenceAnnotation) service).getRunnerOptions(); } - throw new Error(MessageManager.formatMessage("error.implementation_error_runner_config_not_available", new String[]{serviceType,service.getClass().toString()})); + throw new Error(MessageManager.formatMessage( + "error.implementation_error_runner_config_not_available", + new String[] + { serviceType, service.getClass().toString() })); } @Override - protected void finalize() throws Throwable + public void close() { if (service != null) { try { - Closeable svc = (Closeable) service; - service = null; - svc.close(); - } catch (Exception e) + ((Closeable) service).close(); + } catch (Throwable t) { + // ignore } - ; } - super.finalize(); + // super.finalize(); } public ParamDatastoreI getParamStore() @@ -202,7 +203,8 @@ public class Jws2Instance // 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;