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

..

api_impl

Manager: move task requeueing to TaskStateMachine

2022-06-13 12:33:01 +02:00

config

Manager: add timeout checks for workers

2022-06-13 12:33:22 +02:00

job_compilers

Manager: add a small wrapper around Google's UUID library

2022-05-20 15:35:51 +02:00

persistence

Manager: add timeout checks for workers

2022-06-13 12:33:22 +02:00

swagger_ui

Cleanup: Move some files around

2022-01-10 17:45:13 +01:00

task_logs

Manager: move timestamping of log messages to task_logs package

2022-06-09 17:00:38 +02:00

task_state_machine

Manager: move task requeueing to TaskStateMachine

2022-06-13 12:33:01 +02:00

timeout_checker

Manager: re-queue tasks of timed-out workers

2022-06-13 12:38:35 +02:00

webupdates

Manager: adjust code for WorkerStatusChangeRequest extraction

2022-06-02 12:17:54 +02:00