From a53843caa6f38747c7e63aab15cb07c0694887ad Mon Sep 17 00:00:00 2001 From: Thomas Lake Date: Wed, 5 Sep 2012 10:17:15 +0100 Subject: [PATCH] Filter out player files not ending in ".dat" --- overviewer_core/aux_files/genPOI.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/overviewer_core/aux_files/genPOI.py b/overviewer_core/aux_files/genPOI.py index 5d0c0b6..9b3d683 100755 --- a/overviewer_core/aux_files/genPOI.py +++ b/overviewer_core/aux_files/genPOI.py @@ -56,8 +56,13 @@ def handlePlayers(rset, render, worldpath): 'default': 0}[render['dimension']] playerdir = os.path.join(worldpath, "players") if os.path.isdir(playerdir): + def ignoreTmp(filename): + return filename.endswith(".dat") + playerfiles = os.listdir(playerdir) + playerfiles = filter(ignoreTmp, playerfiles) isSinglePlayer = False + else: playerfiles = [os.path.join(worldpath, "level.dat")] isSinglePlayer = True