From dabae638d8facb5b6f3923b42a894d40a090b3fe Mon Sep 17 00:00:00 2001
From: Christian Heller <c.heller@plomlompom.de>
Date: Fri, 21 Nov 2014 02:00:32 +0100
Subject: [PATCH] Update text in SERVER_COMMANDS.

---
 SERVER_COMMANDS | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/SERVER_COMMANDS b/SERVER_COMMANDS
index 5760e54..b9e3cd2 100644
--- a/SERVER_COMMANDS
+++ b/SERVER_COMMANDS
@@ -14,8 +14,10 @@ In any case, from then on, further commands are read in from ./server/in. New
 commands must be appended to the file – which is what the client does. All
 commands from ./server/in except meta commands are also written to ./record.
 
-At the end of each turn, ./savefile is written – with a list of all god commands
-necessary to recreate the current world state.
+Every fifteen seconds, if any turns have passed, ./savefile is written – with a
+list of all god commands necessary to recreate the current world state. On each
+world state change, ./server/worldstate is updated and a message "WORLD_UPDATED"
+written to ./server/out.
 
 Replay mode
 -----------
-- 
2.30.2