import jalview.gui.JvSwingUtils;
import jalview.ws.WSMenuEntryProviderI;
import jalview.ws.jws2.jabaws2.Jws2Instance;
+import jalview.ws.params.ParamDatastoreI;
import java.awt.Color;
import java.awt.event.ActionEvent;
;
for (JabaWsServerQuery squery : qrys)
{
- finished = finished && !squery.isRunning();
+ if (squery.isRunning()){
+ finished=false;
+ }
}
if (aborted)
{
services.add(service);
// retrieve the presets and parameter set and cache now
- ParamDataStoreI pds = service.getParamStore();
+ ParamDatastoreI pds = service.getParamStore();
if (pds != null)
{
pds.getPresets();