public interface TaskManager
void submit(Task task)
task
- the task to runvoid remove(Task task)
task
- the task to removeTask.Status getStatus(Task task)
task
- the taskvoid cancel(Task task)
task
- the task to cancelCopyright © 2010–2018 Planetary Data System. All rights reserved.