Robert Nishihara fa363a5a3a Notify driver when a worker dies while executing a task. (#419) ...

* Notify driver when a worker dies while executing a task.

* Fix linting.

* Don't push error when local scheduler is cleaning up.

2017-04-06 00:02:39 -07:00

..

common

Notify driver when a worker dies while executing a task. (#419)

2017-04-06 00:02:39 -07:00

global_scheduler

Plasma and worker node failure. (#373)

2017-03-17 17:03:58 -07:00

local_scheduler

Notify driver when a worker dies while executing a task. (#419)

2017-04-06 00:02:39 -07:00

numbuf

Make putting large objects work. (#411)

2017-04-05 01:04:05 -07:00

plasma

Stopped nodes can rejoin immediately (#428)

2017-04-05 23:50:38 -07:00