From: Christian Heller 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%7Bdb.prefix%7D%7D/task?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})