Server/py: Ensure SEED_MAP is called after MAP_LENGTH.

diff --git a/plomrogue-server.py b/plomrogue-server.py
index be83c6a04a8ba5ea19a9524874a3fcd8d36421db..78cf88c5aa0594a6475c4c96d9bbd94374d01f56 100755 (executable)
--- a/plomrogue-server.py
+++ b/plomrogue-server.py
@@ -204,8 +204,10 @@ def save_world():
 
     string = ""
     for key in world_db:
-        if dict != type(world_db[key]) and key != "MAP":
+        if dict != type(world_db[key]) and key != "MAP" and \
+           key != "WORLD_ACTIVE" and key != "SEED_MAP":
             string = string + key + " " + str(world_db[key]) + "\n"
+    string = string + "SEED_MAP " + str(world_db["SEED_MAP"]) + "\n"
     string = string + helper("ThingActions", "TA_ID")
     string = string + helper("ThingTypes", "TT_ID", {"TT_CORPSE_ID": False})
     for id in world_db["ThingTypes"]: