From 117674cb8473e064058f6f99d99f7ed4aa2c8779 Mon Sep 17 00:00:00 2001 From: Christian Heller 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