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

..

api_impl

Manager: mark workers as 'seen' when they send updates

2022-06-13 12:47:07 +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: mark workers as 'seen' when they send updates

2022-06-13 12:47:07 +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: broadcast worker timeouts over SocketIO

2022-06-13 13:05:20 +02:00

webupdates

Manager: adjust code for WorkerStatusChangeRequest extraction

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