mirror of
https://github.com/clusterio/clusterio.git
synced 2026-11-12 07:04:52 +09:00
Allow the web interface to listen for updates to the slave list and apply it live to the places where slaves are shown in the web interface.