Server: Don't save world_db entries with keys that start non-uppercase.

diff --git a/server/io.py b/server/io.py
index 877e525e3b23c14eccff83df2e9c572fd99bb7b1..a79e548cf4f359c1931ff20e11364797ab0b0d0e 100644 (file)
--- a/server/io.py
+++ b/server/io.py
@@ -184,7 +184,7 @@ def save_world():
     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 \
     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":
+           key != "WORLD_ACTIVE" and key[0].isupper():

             string = string + key + " " + str(world_db[key]) + "\n"
     string = string + mapsetter("MAP")()
     string = string + helper("ThingActions", "TA_ID")
             string = string + key + " " + str(world_db[key]) + "\n"
     string = string + mapsetter("MAP")()
     string = string + helper("ThingActions", "TA_ID")