mirror of
https://github.com/clusterio/clusterio.git
synced 2026-11-14 15:24:52 +09:00
The logging format provides both the name and id of slaves and instances. Use the name when formatting for the web console just like the TerminalFormat does.