plint

commit bec60c34533bd95b34abd32510c817c0cb5fb8ac
parent 4c0cdd1bcc8c9f032f2c952c9f90c39502301550
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Thu,  9 May 2013 00:18:48 +0200

add more routes to fix dead links

Diffstat:
plint_web.py
 | 
8
++++++++

1 file changed, 8 insertions(+), 0 deletions(-)
diff --git a/plint_web.py b/plint_web.py
@@ -51,6 +51,14 @@ def get_title(lang):
 def server_static(filename):
   return static_file(filename, root="./static/tpl", mimetype="text/plain")
 
+@app.route('/<lang>/static/tpl/<filename>')
+def server_static(filename):
+  return static_file(filename, root="./static/tpl", mimetype="text/plain")
+
+@app.route('/<lang>/static/<filename>')
+def server_static(filename):
+  return static_file(filename, root="./static")
+
 @app.route('/static/<filename>')
 def server_static(filename):
   return static_file(filename, root="./static")