public interface TaskManager extends TaskSubmitter
The base TaskManager interface.
Provides common methods for scheduling tasks for execution and stopping task execution.
| Modifier and Type | Method and Description |
|---|---|
void |
close() |
void |
stopTask(TaskId id)
Stop a Scheduled, Paused or Running task.
|
TaskStateStorage |
storage()
Return the StateStorage instance that is used by this class.
|
addTaskvoid stopTask(TaskId id)
id - ID of task to stop.TaskStateStorage storage()
void close()
Copyright © 2017 Grakn Labs Ltd. All rights reserved.