From de5a17c5bbb3a4d587ed96e93bd9c104068861cb Mon Sep 17 00:00:00 2001 From: Pablo Prietz Date: Mon, 25 Oct 2021 23:14:33 +0200 Subject: [PATCH] Use correct socket API to retrieve local IP address for Service Fixes #2200 --- pupil_src/shared_modules/service_ui.py | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/pupil_src/shared_modules/service_ui.py b/pupil_src/shared_modules/service_ui.py index 17e929d217..8e1d36b42a 100644 --- a/pupil_src/shared_modules/service_ui.py +++ b/pupil_src/shared_modules/service_ui.py @@ -137,9 +137,17 @@ def reset_restart(): g_pool.menubar.append(ui.Button("Reset window size", set_window_size)) - pupil_remote_addr = "{}:{}".format( - socket.gethostbyname(socket.gethostname()), g_pool.preferred_remote_port - ) + for *_, (ip, port, *_) in socket.getaddrinfo( + "localhost", + g_pool.preferred_remote_port, + family=socket.AF_INET, + type=socket.SOCK_STREAM, + ): + pupil_remote_addr = f"{ip}:{port}" + break + else: + pupil_remote_addr = "unknown" + g_pool.menubar.append( ui.Text_Input( "pupil_remote_addr",