From cd6d00eb9e5d19197938ab5f5ee020dee29b69f7 Mon Sep 17 00:00:00 2001
From: Nick <nick@nfreader.net>
Date: Mon, 19 Jun 2023 20:42:15 -0400
Subject: [PATCH] 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.
---
 code/datums/world_topic.dm | 1 +
 1 file changed, 1 insertion(+)

diff --git a/code/datums/world_topic.dm b/code/datums/world_topic.dm
index 128e59d815ebfc..38fca51411adf8 100644
--- a/code/datums/world_topic.dm
+++ b/code/datums/world_topic.dm
@@ -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()