From 06dff582cdb609f521035d7a138c21aa46848220 Mon Sep 17 00:00:00 2001
From: Millian Poquet <millian.poquet@inria.fr>
Date: Tue, 13 Mar 2018 13:27:05 +0100
Subject: [PATCH] [tesh] read files in utf-8

Previously, system's default encoding was used.
---
 tools/tesh/tesh.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/tesh/tesh.py b/tools/tesh/tesh.py
index a37449ee68..37a7e5a21e 100755
--- a/tools/tesh/tesh.py
+++ b/tools/tesh/tesh.py
@@ -139,7 +139,7 @@ class FileReader(Singleton):
             self.filename_raw = filename
             self.filename = os.path.basename(filename)
             self.abspath = os.path.abspath(filename)
-            self.f = open(self.filename_raw)
+            self.f = open(self.filename_raw, encoding="utf-8")
 
         self.linenumber = 0
 
-- 
2.20.1