changeset 1228:f3edbca73713

server: user ProtectedFile for build dir
author Goffi <goffi@goffi.org>
date Mon, 18 Nov 2019 21:46:12 +0100
parents 15f90fd688b5
children acec8e9185db
files libervia/server/server.py
diffstat 1 files changed, 3 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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)