Server: Transform PLUGIN command to God command, save its input.

[plomrogue] / server / io.py

diff --git a/server/io.py b/server/io.py
index 0357b2e6c5946770cbcdda7f3df14e485573d044..ab3bbffc071e7e7b739c82f921ee4df71f22676b 100644 (file)
--- a/server/io.py
+++ b/server/io.py
@@ -180,9 +180,12 @@ def save_world():
 
     string = ""
     for key in sorted(world_db.keys()):
-        if (not isinstance(world_db[key], dict)) and key != "MAP" and \
+        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})