Add option to always redirect.

am009 · May 11, 2024 · ace49d8 · ace49d8
1 parent 8a3493e
commit ace49d8
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/backend/latexdiff_web.py b/backend/latexdiff_web.py
@@ -5,6 +5,7 @@
 
 DEBUG = (__name__ == '__main__')
 TIMEOUT_LIMIT = 600.0
+REDIR_ROOT = os.environ.get('REDIR_ROOT', None).lower() in ['true', '1', 'yes', 'y']
 
 from flask import Flask, request, redirect, jsonify, send_from_directory
 from flask_cors import CORS, cross_origin
@@ -24,13 +25,13 @@ def gen_redir():
 
 @app.route('/')
 def send_index():
-    if not os.path.exists('static'):
+    if REDIR_ROOT or not os.path.exists('static'):
         return gen_redir()
     return send_from_directory('static', 'index.html')
 
 @app.route('/<path:path>')
 def send_web(path):
-    if not os.path.exists('static'):
+    if REDIR_ROOT or not os.path.exists('static'):
         return gen_redir()
     return send_from_directory('static', path)