Changeset 995 for tester/comparison.py
- Timestamp:
- 07/09/20 16:35:19 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
tester/comparison.py
r994 r995 24 24 25 25 try: 26 fin = open(os.path.join(globals.THISDIR, name) ) # first we look for the file with the specialized name (platform-dependent)...26 fin = open(os.path.join(globals.THISDIR, name), encoding='utf8') # first we look for the file with the specialized name (platform-dependent)... 27 27 except IOError as e1: 28 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 file29 fin = open(os.path.join(globals.THISDIR, file_name + ".goal"), encoding='utf8') # ...if there is no such file, we try to find the default file 30 30 except IOError as e2: 31 31 print()
Note: See TracChangeset
for help on using the changeset viewer.