From 117674cb8473e064058f6f99d99f7ed4aa2c8779 Mon Sep 17 00:00:00 2001
From: Christian Heller <c.heller@plomlompom.de>
Date: Tue, 23 Feb 2016 22:12:06 +0100
Subject: [PATCH] Server: Save PLUGIN command at top of save file.

---
 server/io.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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