At least a part of the problem is the client holding resources from the original connection. These cannot be released as the client API gets into a "hung" state waiting for responses from a socket that died with the server.
lp:~alan-griffiths/mir/improve-tidy-up-of-mir_connection_get_display_info ensures the API eventually times out.
At least a part of the problem is the client holding resources from the original connection. These cannot be released as the client API gets into a "hung" state waiting for responses from a socket that died with the server.
lp:~alan-griffiths/mir/improve-tidy-up-of-mir_connection_get_display_info ensures the API eventually times out.