Adds the current server name from the config to the world status (#76014)

## About The Pull Request
Adds the server name from the configuration to the world's status topic.

## Why It's Good For The Game
We don't currently expose the server's short name (e.g. `Sybil`,
`Manuel`) anywhere. This fixes that. This is mostly to support external
tools.
This commit is contained in:
Nick
2023-06-19 17:42:15 -07:00
committed by GitHub
parent d1afb96dc1
commit cd6d00eb9e
+1
View File
@@ -203,6 +203,7 @@
.["revision"] = GLOB.revdata.commit
.["revision_date"] = GLOB.revdata.date
.["hub"] = GLOB.hub_visibility
.["identifier"] = CONFIG_GET(string/serversqlname)
var/list/adm = get_admin_counts()