Sybren A. Stüvel 6de5c9e7fa Web: add worker removal
Add "remove worker" button to the worker details panel. It will
show a little warning when the worker is still running, and also has an
explanation of what removing a worker actually means.
2022-08-12 10:30:27 -07:00
..
2022-07-22 17:00:55 +02:00
2022-08-12 10:30:27 -07:00
2022-07-22 14:57:11 +02:00