# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1574109972 -3600
# Node ID f3edbca7371385cc9beac1cd1a871621c13d7bd4
# Parent  15f90fd688b5aae7e9ee31392145e9c9d201dcf1
server: user ProtectedFile for build dir

diff -r 15f90fd688b5 -r f3edbca73713 libervia/server/server.py
--- a/libervia/server/server.py	Fri Nov 08 17:07:02 2019 +0100
+++ b/libervia/server/server.py	Mon Nov 18 21:46:12 2019 +0100
@@ -804,8 +804,9 @@
                 yield tasks_manager.runTasks()
                 res.putChild(
                     C.BUILD_DIR.encode('utf-8'),
-                    static.File(self.getBuildPath(site_name),
-                                defaultType="application/octet-stream"),
+                    ProtectedFile(
+                        self.getBuildPath(site_name),
+                        defaultType="application/octet-stream"),
                 )
 
                 LiberviaPage.importPages(self, res)