From af18e9f3eda9893998593e9c2ba335c1835f3af1 Mon Sep 17 00:00:00 2001
From: Christian Heller <c.heller@plomlompom.de>
Date: Wed, 25 Feb 2015 09:41:56 +0100
Subject: [PATCH] Server/py: In SERVER_COMMANDS, mirror Python variant more
 precisely.

---
 SERVER_COMMANDS | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.30.2