import jalview.ws2.ResultSupplier;
import jalview.ws2.WSJob;
import jalview.ws2.WSJobStatus;
-import jalview.ws2.WebServiceExecutor;
+import jalview.ws2.PollingTaskExecutor;
import jalview.ws2.WebServiceI;
import jalview.ws2.WebServiceInfoUpdater;
import jalview.ws2.WebServiceWorkerI;
final var calcName = service.getName();
String title = frame.getTitle();
- WebServiceExecutor executor = frame.getViewport().getWSExecutor();
+ PollingTaskExecutor executor = frame.getViewport().getWSExecutor();
{
var item = new JMenuItem(MessageManager.formatMessage(
"label.calcname_with_default_settings", calcName));
}
@Override
- public void startJobs() throws IOException
+ public void start() throws IOException
{
Cache.log.info(format("Starting new %s job.", service.getName()));
String outputHeader = String.format("%s of %s%nJob details%n",
}
@Override
- public boolean pollJobs()
+ public boolean poll()
{
boolean done = true;
for (WSJob job : getJobs())