gui_server.py: try to handle EINTR while accepting socket connections (#1687)