3 Commits

Author	SHA1	Message	Date
Sybren A. Stüvel	b922722614	Manager: broadcast worker timeouts over SocketIO ... This way the web interface will also show timed-out workers.	2022-06-13 13:05:20 +02:00
Sybren A. Stüvel	986b647967	Manager: re-queue tasks of timed-out workers ... Allow other workers to pick up the task(s) assigned to a timed-out worker.	2022-06-13 12:38:35 +02:00
Sybren A. Stüvel	7d5aae25b5	Manager: add timeout checks for workers	2022-06-13 12:33:22 +02:00