0

genPOI: don't panic on empty player dat files

Closes #1876.
This commit is contained in:
Nicolas F
2021-06-04 14:03:33 +02:00
parent 498c844136
commit 3084d57bb3

View File

@@ -328,7 +328,7 @@ def handlePlayers(worldpath, filters, markers):
data.use_uuid = useUUIDs data.use_uuid = useUUIDs
if isSinglePlayer: if isSinglePlayer:
data = data['Data']['Player'] data = data['Data']['Player']
except (IOError, TypeError, KeyError): except (IOError, TypeError, KeyError, nbt.CorruptNBTError):
logging.warning("Skipping bad player dat file %r.", playerfile) logging.warning("Skipping bad player dat file %r.", playerfile)
continue continue