diff options
author | Daiki Ueno <dueno@src.gnome.org> | 2017-02-20 11:15:40 +0100 |
---|---|---|
committer | Daiki Ueno <dueno@src.gnome.org> | 2017-02-20 11:16:55 +0100 |
commit | e5375dc19f2ca404e1c70081ac6eea4c5119460b (patch) | |
tree | f5593da321a8a977f579c830cbe7892774ddf24b /tools | |
parent | f540a9e4b52478588618ec60813f0b95e82bc0fc (diff) | |
download | caribou-e5375dc19f2ca404e1c70081ac6eea4c5119460b.tar.gz |
tools: Assume 'UTF-8' for the output schema file
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/make_schema.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/make_schema.py b/tools/make_schema.py index 2d409f7..84665d6 100755 --- a/tools/make_schema.py +++ b/tools/make_schema.py @@ -2,7 +2,7 @@ import xml.dom.minidom -import os, sys +import io, os, sys sys.path.insert(0, os.path.dirname(os.path.dirname(os.path.abspath(__file__)))) from caribou.settings import caribou_settings @@ -21,7 +21,7 @@ class SchemasMaker: schemafile.appendChild(schema) self._create_schema(self.settings, doc, schema) - fp = open(output, 'w') + fp = io.open(output, 'w', encoding='UTF-8') self._pretty_xml(fp, schemafile) fp.close() |