Update text in SERVER_COMMANDS.

diff --git a/SERVER_COMMANDS b/SERVER_COMMANDS
index 5760e54fae36bdff19e36317c325310a59ce4f3b..b9e3cd213707d9c63fb3af2947f2818033d1f360 100644 (file)
--- 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
 -----------