(self, from_: str, to: str)
| 186 | self.gzip_routes.add(path) |
| 187 | |
| 188 | def set_redirect(self, from_: str, to: str) -> None: |
| 189 | def handle_redirect(request: http.Request) -> None: |
| 190 | request.setResponseCode(HTTPStatus.FOUND) |
| 191 | request.setHeader("location", to) |
| 192 | request.finish() |
| 193 | |
| 194 | self.set_route(from_, handle_redirect) |
| 195 | |
| 196 | |
| 197 | class HTTPServer(Server): |