From 64325c495ddfdda968eeba4122fb055a536427a9 Mon Sep 17 00:00:00 2001
From: julialawrence <98329494+julialawrence@users.noreply.github.com>
Date: Thu, 19 Oct 2023 13:53:19 +0100
Subject: [PATCH] Update app.py

Debugging statement added
---
 app/app.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/app/app.py b/app/app.py
index 3038271..a788786 100644
--- a/app/app.py
+++ b/app/app.py
@@ -375,7 +375,7 @@ def start_vscode(id):
         vscode_url = launch_vscode_for_user(sanitized_user_id)
         flash('Your VS Code server is being started. Please wait a moment.', 'success')
     except Exception as e:
-        flash(f'An error occurred while starting your VS Code server: {str(e)}', 'error')
+        print(f'An error occurred while starting your VS Code server: {str(e)}', 'error')
         return redirect(url_for('data_source_details', id=id))  # Redirect back to the data source details in case of failure
 
     # Redirect to a waiting page or directly embed the VS Code interface if it's ready
@@ -498,4 +498,4 @@ def create_backend_websocket(vscode_url):
 if __name__ == '__main__':
     # Use gevent WebSocket server to run the app instead of the standard Flask server
     http_server = WSGIServer(('127.0.0.1', 5000), app, handler_class=WebSocketHandler)
-    http_server.serve_forever()
\ No newline at end of file
+    http_server.serve_forever()