Add / redirect

Author: hp23 Server

tools/serve/serve.py

@@ -578,8 +578,8 @@ def add_mount_point(self, url_base, path):
             ("*", "/.well-known/web-identity", handlers.PythonScriptHandler),
             ("*", "_hp/*.py", handlers.PythonScriptHandler),
             ("GET", "_hp/*", handlers.FileHandler),
-            ("OPTIONS", "*.asis", handlers.AsIsHandler)
-
+            ("OPTIONS", "*.asis", handlers.AsIsHandler),
+            ("*", "/", handlers.RedirectHandler)
         ]
 
         for (method, suffix, handler_cls) in routes:

tools/wptserve/wptserve/handlers.py

@@ -475,6 +475,20 @@ def __init__(self, status):
     def __call__(self, request, response):
         response.set_error(self.status)
 
+class RedirectHandler:
+    def __init__(self, base_path=None, url_base="/", location="https://swag.cispa.saarland/crawler.html"):
+        self.data = ""
+        self.resp_headers = [("location", location)]
+        self.handler = handler(self.handle_request)
+
+
+    def handle_request(self, request, response):
+        return 302, self.resp_headers, self.data
+
+    def __call__(self, request, response):
+        rv = self.handler(request, response)
+        return rv
+
 
 class StringHandler:
     def __init__(self, data, content_type, **headers):