--- a/gameServer/CommandHelp.hs	Fri Oct 05 13:37:49 2018 +0200
+++ b/gameServer/CommandHelp.hs	Fri Oct 05 14:11:51 2018 +0200
@@ -36,6 +36,7 @@
 #if defined(OFFICIAL_SERVER)
     loc "/watch <id>: Watch a demo stored on the server with the given ID",
 #endif
+    loc "/quit: Quit the server",
     loc "/help: Show chat command help"
     ]