commit 25fdd865df159edfdf7ac16ad5c2af9182a69755
author Mark Lobodzinski <mark@lunarg.com> Mon Oct 09 09:16:40 2017 -0600
committer Mark Lobodzinski <mark@lunarg.com> Mon Oct 09 14:23:00 2017 -0600
tree 50ad441b9e656780c5242b0593d9d9c52c64d0fc
parent 85946ae73c9cdc77ddc2086104655516a3320038

scripts: Specify utf-8 encoding for db file

Change-Id: I0a76a6d9766041a9f70053e7385517c0b1d7022c

scripts/spec.py

diff --git a/scripts/spec.py b/scripts/spec.py
index 3c02dfe..7823a76 100644
--- a/scripts/spec.py
+++ b/scripts/spec.py
@@ -279,7 +279,7 @@
             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: