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",