SomberNight e83f0dd3fc network: when switching servers, don't wait for old interface to close ...

The GUI blocks until network.set_parameters returns when switching servers,
which waits for switch_to_interface, which used to wait until interface.close()
returns. interface.close() tries to flush buffered writes to the wire, with a
30 sec timeout.

If the server or the network connection is slow, flushing the buffer can take
several seconds. In particular, servers running Fulcrum always seem to
timeout in this case, freezing the GUI for 30 seconds (when switching away).

2020-12-13 18:08:36 +01:00

54 KiB

Raw Blame History

View Raw