JAL-3878 Rename web service worker to more generic pollable task.
authorMateusz Warowny <warownia1@gmail.com>
Wed, 13 Oct 2021 11:58:31 +0000 (13:58 +0200)
committerMateusz Warowny <warownia1@gmail.com>
Wed, 13 Oct 2021 12:56:52 +0000 (14:56 +0200)
commit86cd00a0cdc19cdb40b51e704067ec2c331f8e61
tree8254ed8cbfba2a4b8675c4f65225634863555c78
parent23bcade7b5311e2a3e789bfdbc5f8b9d516511ff
JAL-3878 Rename web service worker to more generic pollable task.
src/jalview/viewmodel/AlignmentViewport.java
src/jalview/ws2/PollableTaskI.java [new file with mode: 0644]
src/jalview/ws2/PollableTaskListenerI.java [new file with mode: 0644]
src/jalview/ws2/PollingTaskExecutor.java [new file with mode: 0644]
src/jalview/ws2/WebServiceExecutor.java [deleted file]
src/jalview/ws2/WebServiceThreadListenerI.java [deleted file]
src/jalview/ws2/WebServiceWorkerI.java
src/jalview/ws2/operations/AlignmentOperation.java
src/jalview/ws2/operations/AnnotationOperation.java