home · contact · privacy
Server: Don't save world_db entries with keys that start non-uppercase.
authorChristian Heller <c.heller@plomlompom.de>
Tue, 23 Feb 2016 21:58:33 +0000 (22:58 +0100)
committerChristian Heller <c.heller@plomlompom.de>
Tue, 23 Feb 2016 21:58:33 +0000 (22:58 +0100)
server/io.py

index 877e525e3b23c14eccff83df2e9c572fd99bb7b1..a79e548cf4f359c1931ff20e11364797ab0b0d0e 100644 (file)
@@ -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 \
-           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")