diff options
author | Cosimo Cecchi <cosimo@endlessm.com> | 2015-06-04 19:11:07 -0700 |
---|---|---|
committer | Cosimo Cecchi <cosimo@endlessm.com> | 2015-06-04 19:11:07 -0700 |
commit | 65ddd00e60eef0f4a7374a9046dc9a6d26ff2539 (patch) | |
tree | 006e77f0fb21ba63103571323ddf449107ba585e | |
parent | c4d4e3f299e6da8ecd4697f221fed574a0264dd5 (diff) |
html-extractor: be more explicit about encoding conversion
Try to fix a Jenkins test failure.
-rwxr-xr-x | tools/eos-html-extractor | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/eos-html-extractor b/tools/eos-html-extractor index 72a3acd..a351f0d 100755 --- a/tools/eos-html-extractor +++ b/tools/eos-html-extractor @@ -55,8 +55,8 @@ top_dir = args.top_srcdir final_path = os.path.relpath(html_file, top_dir) # Create the BeautifulSoup HTML-parsing object -with open(html_file) as f: - page = f.read() +with open(html_file, 'rb') as f: + page = f.read().decode('utf-8') soup = BeautifulSoup(page) # Extract all translatable strings from that HTML |