From 9b1ef1a65562eb82d96adebc04ae14c61a9d240f Mon Sep 17 00:00:00 2001 From: Not Date: Mon, 12 Dec 2022 18:36:29 +0100 Subject: [PATCH] ignore empty lines, ignore missing files --- tools/coldstore.py | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/tools/coldstore.py b/tools/coldstore.py index fe1d388..7bbb520 100755 --- a/tools/coldstore.py +++ b/tools/coldstore.py @@ -48,9 +48,15 @@ def SameScore(a, b): def LoadRecordsFromFile(path): records = [] - with open(path, "r") as f: - for line in f.readlines(): - records.append(ParseScore(line.strip())) + try: + with open(path, "r") as f: + for line in f.readlines(): + line = line.strip() + if line != "": + records.append(ParseScore(line)) + except FileNotFoundError: + pass + return records def AddScore(records, score):