diff options
| author | Mark Lobodzinski <mark@lunarg.com> | 2017-10-09 09:16:40 -0600 |
|---|---|---|
| committer | Mark Lobodzinski <mark@lunarg.com> | 2017-10-09 14:23:00 -0600 |
| commit | 07e640f494a382a2bf8cef277bb5d3e56a847d7a (patch) | |
| tree | 083b2a82fec6970bebe9ad3d9b4064ce735203cf /scripts/spec.py | |
| parent | 540ccf656a2b8f603a90727be06b0f990cbe46e2 (diff) | |
| download | usermoji-07e640f494a382a2bf8cef277bb5d3e56a847d7a.tar.xz | |
scripts: Specify utf-8 encoding for db file
Change-Id: I0a76a6d9766041a9f70053e7385517c0b1d7022c
Diffstat (limited to 'scripts/spec.py')
| -rw-r--r-- | scripts/spec.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/spec.py b/scripts/spec.py index 3c02dfe6..7823a761 100644 --- a/scripts/spec.py +++ b/scripts/spec.py @@ -279,7 +279,7 @@ class Specification: outfile.write("\n".join(db_lines)) def readDB(self, db_file): """Read a db file into a dict, refer to genDB function above for format of each line""" - with open(db_file, "r") as infile: + with open(db_file, "r", encoding='utf-8') as infile: for line in infile: line = line.strip() if line.startswith('#') or '' == line: |