From: Christian Heller <c.heller@plomlompom.de>
Date: Tue, 23 Feb 2016 21:12:06 +0000 (+0100)
Subject: Server: Save PLUGIN command at top of save file.
X-Git-Tag: tce~176
X-Git-Url: https://plomlompom.com/repos/%7B%7B%20web_path%20%7D%7D/%7B%7Bprefix%7D%7D/edit?a=commitdiff_plain;h=117674cb8473e064058f6f99d99f7ed4aa2c8779;p=plomrogue

Server: Save PLUGIN command at top of save file.
---

diff --git a/server/io.py b/server/io.py
index ac7558e..877e525 100644
--- a/server/io.py
+++ b/server/io.py
@@ -179,13 +179,13 @@ def save_world():
         return string
 
     string = ""
+    for plugin in world_db["PLUGIN"]:
+        string = string + "PLUGIN " + plugin + "\n"
     for key in sorted(world_db.keys()):
         if (not isinstance(world_db[key], dict) and
             not isinstance(world_db[key], list)) and key != "MAP" and \
            key != "WORLD_ACTIVE":
             string = string + key + " " + str(world_db[key]) + "\n"
-    for plugin in world_db["PLUGIN"]:
-        string = string + "PLUGIN " + plugin + "\n"
     string = string + mapsetter("MAP")()
     string = string + helper("ThingActions", "TA_ID")
     string = string + helper("ThingTypes", "TT_ID", {"TT_CORPSE_ID": False})