From: Christian Heller <c.heller@plomlompom.de>
Date: Wed, 25 Feb 2015 08:41:56 +0000 (+0100)
Subject: Server/py: In SERVER_COMMANDS, mirror Python variant more precisely.
X-Git-Tag: tce~464
X-Git-Url: https://plomlompom.com/repos/%22https:/validator.w3.org/%7B%7Bprefix%7D%7D/foo.html?a=commitdiff_plain;h=af18e9f3eda9893998593e9c2ba335c1835f3af1;p=plomrogue

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

diff --git a/SERVER_COMMANDS b/SERVER_COMMANDS
index cd6200f..70510fb 100644
--- 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