# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1565968422 -7200
# Node ID c9fc839d304ce2188b34ae350db8f98b1257e59a
# Parent  fe9782391f6318b3e5771e916706f1c1c6f67ada
server: fixed BUILD_DIR page encoding following python 3 port

diff -r fe9782391f63 -r c9fc839d304c libervia/server/server.py
--- a/libervia/server/server.py	Fri Aug 16 17:12:10 2019 +0200
+++ b/libervia/server/server.py	Fri Aug 16 17:13:42 2019 +0200
@@ -803,7 +803,7 @@
                 tasks_manager = TasksManager(self, res)
                 yield tasks_manager.runTasks()
                 res.putChild(
-                    C.BUILD_DIR,
+                    C.BUILD_DIR.encode('utf-8'),
                     static.File(self.getBuildPath(site_name),
                                 defaultType="application/octet-stream"),
                 )