From afc1c4f924c807d30477b05fda73a5dcbf89f384 Mon Sep 17 00:00:00 2001 From: Andrew Chin Date: Fri, 14 Aug 2015 08:47:52 -0400 Subject: [PATCH] Don't call save_cache if running with --skip-players --- overviewer_core/aux_files/genPOI.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/overviewer_core/aux_files/genPOI.py b/overviewer_core/aux_files/genPOI.py index abb7544..21a0784 100755 --- a/overviewer_core/aux_files/genPOI.py +++ b/overviewer_core/aux_files/genPOI.py @@ -513,7 +513,8 @@ def main(): logging.info("Done handling POIs") logging.info("Writing out javascript files") - PlayerDict.save_cache(destdir) + if not options.skipplayers: + PlayerDict.save_cache(destdir) with open(os.path.join(destdir, "markersDB.js"), "w") as output: output.write("var markersDB=")