From b57ae8bf38ef198dfa827b4e0771f38f2709828a Mon Sep 17 00:00:00 2001 From: "M.A.C. Klomp" Date: Thu, 29 Jan 2026 22:12:07 +0100 Subject: [PATCH] Fix No module named 'web_ui' --- web_ui/server.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/web_ui/server.py b/web_ui/server.py index fc0d6dcfd..3a495cecc 100644 --- a/web_ui/server.py +++ b/web_ui/server.py @@ -27,11 +27,12 @@ from flask_limiter.util import get_remote_address from werkzeug.security import safe_join -import web_ui.auth as auth_mod from flask_session import Session sys.path.insert(0, str(Path(__file__).parent.parent)) +import web_ui.auth as auth_mod + # Helper to convert ANSI -> HTML using Rich (optional) try: from src.console import ansi_to_html