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

..

main.go

Manager: broadcast worker timeouts over SocketIO

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