import jalview.gui.AlignFrame;
import jalview.gui.Desktop;
import jalview.gui.WebserviceInfo;
import jalview.gui.AlignFrame;
import jalview.gui.Desktop;
import jalview.gui.WebserviceInfo;
- WebServiceJobTitle + " using service hosted at "
- + WsURL + "\n"
- + (serv.getDescription() != null
- ? serv.getDescription()
- : ""),
- false);
+ WebServiceJobTitle + " using service hosted at "
+ + WsURL + "\n"
+ + (serv.getDescription() != null
+ ? serv.getDescription()
+ : ""),
+ false);
- protected boolean processParams(ServiceWithParameters sh,
- boolean editParams,
- boolean adjustingExisting)
+ protected CompletionStage<Boolean> processParams(ServiceWithParameters sh,
+ boolean editParams, boolean adjustingExisting)
sh.initParamStore(Desktop.getUserParameterStore());
WsJobParameters jobParams = (preset == null && paramset != null
sh.initParamStore(Desktop.getUserParameterStore());
WsJobParameters jobParams = (preset == null && paramset != null
- && paramset.size() > 0)
- ? new WsJobParameters((ParamDatastoreI) null, sh,
- (WsParamSetI) null, paramset)
- : new WsJobParameters((ParamDatastoreI) null, sh,
- preset, (List<ArgumentI>) null);
+ && paramset.size() > 0)
+ ? new WsJobParameters((ParamDatastoreI) null, sh,
+ (WsParamSetI) null, paramset)
+ : new WsJobParameters((ParamDatastoreI) null, sh,
+ preset, (List<ArgumentI>) null);
- if (!jobParams.showRunDialog())
- {
- return false; // dialog cancelled
- }
-
- WsParamSetI prset = jobParams.getPreset();
- if (prset == null)
- {
- paramset = jobParams.isServiceDefaults() ? null
+ var stage = jobParams.showRunDialog();
+ return stage.thenApply((startJob) -> {
+ if (startJob)
+ {
+ WsParamSetI prset = jobParams.getPreset();
+ if (prset == null)
+ {
+ paramset = jobParams.isServiceDefaults() ? null