diff -r d8e606cf8ff5 -r 1738ae8c8e75 gameServer/CommandHelp.hs
--- 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"
     ]