# HG changeset patch
# User Wuzzy <Wuzzy2@mail.ru>
# Date 1538741511 -7200
# Node ID 1738ae8c8e7550626ea732f5bc17afb58daa5ae8
# Parent  d8e606cf8ff592919c97ebc01c1bfdbe6c290a25
Document the /quit chat command from server

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"
     ]