From 6c28e07fd3359fc353f65771c6b141cae129348c Mon Sep 17 00:00:00 2001
From: Pradeeban Kathiravelu <kk.pradeeban@gmail.com>
Date: Sun, 19 Feb 2023 18:58:45 -0500
Subject: [PATCH] State the Flask default Port (5000) explicitly for FRI.

---
 fri/server/main.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fri/server/main.py b/fri/server/main.py
index 203a94d..51f8f97 100644
--- a/fri/server/main.py
+++ b/fri/server/main.py
@@ -197,4 +197,4 @@ def openJupyter():
 
 
 if __name__ == "__main__":
-    app.run(host="0.0.0.0")
+    app.run(host="0.0.0.0", port=5000)