search

wlandau / crew

A distributed worker launcher
https://wlandau.github.io/crew/
Other
123 stars 4 forks source link

Check for crashes while using mirai #28

Closed wlandau closed 1 year ago

wlandau commented 1 year ago

https://github.com/shikokuchuo/mirai/issues/20#issuecomment-1447038755

wlandau commented 1 year ago

26

wlandau commented 1 year ago

But keep an option for fault tolerance: restore crashed workers and trust https://github.com/shikokuchuo/mirai/issues/20#issuecomment-1447038755 to redeploy the task.

wlandau commented 1 year ago

The new socket-specific output of daemons()$nodes will really help with this.

wlandau commented 1 year ago

Done in #29 via the scale_method argument.