update

app.py

@@ -3,6 +3,7 @@ import json
 import random
 import os
 import string
+from flask_session import Session
 import logging
 
 # Set up logging
@@ -16,6 +17,8 @@ logger = logging.getLogger(__name__)
 
 app = Flask(__name__)
 app.config['SECRET_KEY'] = 'supersecretkey'  # Change this to a random secret key
+app.config['SESSION_TYPE'] = 'redis'
+Session(app)
 
 # Directories for visualizations
 VISUALIZATION_DIRS_PLAN_OF_SQLS = {
@@ -105,8 +108,6 @@ def index():
             logger.exception(f"Error in index route: {e}")
             return "An error occurred", 500
     return render_template('index.html')
-
-
 @app.route('/experiment/<username>/<sample_index>/<seed>/<filename>', methods=['GET'])
 def experiment(username, sample_index, seed, filename):
     try:
@@ -277,5 +278,24 @@ def completed(filename):
         return "An error occurred", 500
 
 
+# if __name__ == '__main__':
+#     try:
+#         app.run(debug=False, port=7860)
+#     except Exception as e:
+#         logger.exception(f"Failed to start app: {e}")
+
+
+# from flask import Flask
+#
+# app = Flask(__name__)
+#
+# @app.route('/')
+# def index():
+#     return "Hello, world!"
+
+# if __name__ == '__main__':
+#     app.run(debug=False, port=7860)
+
 if __name__ == "__main__":
     app.run(host="0.0.0.0", port=7860)
+