From b4312a037479743b8edc680e77d0ca839f8f33e3 Mon Sep 17 00:00:00 2001 From: Markus Zolliker Date: Fri, 10 Apr 2026 12:53:47 +0200 Subject: [PATCH] use 127.0.0.1 instead of full host name for websocket listening --- flaskserver.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/flaskserver.py b/flaskserver.py index 7cc9515..9ca2c3a 100755 --- a/flaskserver.py +++ b/flaskserver.py @@ -31,7 +31,8 @@ class Args: hostname = socket.gethostname() if '.' not in hostname: hostname += '.psi.ch' - args['wsaddr'] = f'{hostname}:{webport}' + # args['wsaddr'] = f'{hostname}:{webport}' + args['wsaddr'] = f'127.0.0.1:{webport}' self.port = int(port) self.html = args.pop('html') self.args = args