Server/py: In SERVER_COMMANDS, mirror Python variant more precisely.

diff --git a/SERVER_COMMANDS b/SERVER_COMMANDS
index cd6200fed983166e83272aacdc78876c4cfcfbfc..70510fb9fcbefc9ac1eb75a80bbc9c85fed06d71 100644 (file)
--- a/SERVER_COMMANDS
+++ b/SERVER_COMMANDS
@@ -110,7 +110,7 @@ MAP_LENGTH [1 to 256]
 Deactivate world. Remove ./server/worldstate file. Remove all things. Remove
 map. Set map edge length to argument. (Initial value: 64.)
 
-WORLD_ACTIVE [0 to 255]
+WORLD_ACTIVE [0|1]
 Set world activity state to argument. If 0, remove ./server/worldstate file.
 Else, if world was so far inactive, a map exists, at least one "wait" thing
 action is defined, and a thing of ID 0 (= a player character) that is not part