wassname/ray
1
0
Fork 0
mirror of https://github.com/wassname/ray.git synced 2026-08-12 12:20:11 +08:00
Code Issues Packages Projects Releases Wiki Activity

Fix Windows build (#7987)

Browse Source 
Co-authored-by: Mehrdad <noreply@github.com>
This commit is contained in:
mehrdadn
2020-04-12 13:29:48 -07:00
committed by GitHub
co-authored by Mehrdad
parent 2cb9cfb2b6
commit 7c52359b00
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/ray/core_worker/task_manager.h
+1 -1
View File
@@ -92,7 +92,7 @@ class TaskManager : public TaskFinisherInterface, public TaskResubmissionInterfa
/// not already pending and was successfully resubmitted.
/// \return OK if the task was successfully resubmitted or was
/// already pending, Invalid if the task spec is no longer present.
Status ResubmitTask(const TaskID &task_id, std::vector<ObjectID> *task_deps);
Status ResubmitTask(const TaskID &task_id, std::vector<ObjectID> *task_deps) override;
/// Wait for all pending tasks to finish, and then shutdown.
///