htmlreport: Use source_encoding to open XML files

This commit is contained in:
Toralf Förster 2014-06-18 22:12:31 +02:00 committed by PKEuS
parent a703f643f9
commit d3a71916aa
1 changed files with 1 additions and 1 deletions

View File

@ -296,7 +296,7 @@ if __name__ == '__main__':
source_filename = os.path.join(source_dir, filename)
try:
with io.open(source_filename, 'r') as input_file:
with io.open(source_filename, 'r', encoding=options.source_encoding) as input_file:
content = input_file.read()
except IOError:
sys.stderr.write("ERROR: Source file '%s' not found.\n" %