Changeset 994 for tester/comparison.py
- Timestamp:
- 07/09/20 13:51:28 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
tester/comparison.py
r987 r994 25 25 try: 26 26 fin = open(os.path.join(globals.THISDIR, name)) # first we look for the file with the specialized name (platform-dependent)... 27 except IOError: 28 fin = open(os.path.join(globals.THISDIR, file_name + ".goal")) # ...if there is no such file, we try to find the default file 27 except IOError as e1: 28 try: 29 fin = open(os.path.join(globals.THISDIR, file_name + ".goal")) # ...if there is no such file, we try to find the default file 30 except IOError as e2: 31 print() 32 print(e1) 33 print(e2) 34 print('Proceeding as if the missing file were empty.') 35 return [] 29 36 list_of_lines = [] 30 37 for line in fin:
Note: See TracChangeset
for help on using the changeset viewer.