Stub + document shutdown command

[disorder] / scripts / protocol

diff --git a/scripts/protocol b/scripts/protocol
index 979a56ae6d74df490bef061ca382301c86d92706..ac8c0f75d55e6aae9e662a0bf1d2b4c467799cc5 100755 (executable)
--- a/scripts/protocol
+++ b/scripts/protocol
@@ -562,7 +562,10 @@ simple("set-global",
        [["pref", "Preference name"],
        ["value", "New value"]]);
 
-# TODO shutdown (also needs documenting)
+simple("shutdown",
+       "Request server shutdown",
+       "Requires the 'admin' right.",
+       []);
 
 list("stats",
      "Get server statistics",