Fix disconnection issues (not subtle way...)
authorBenjamin Auder <benjamin.auder@somewhere>
Thu, 15 Nov 2018 16:46:03 +0000 (17:46 +0100)
committerBenjamin Auder <benjamin.auder@somewhere>
Thu, 15 Nov 2018 16:46:03 +0000 (17:46 +0100)

No differences found