Merge branch 'develop' into feat/queryAround

This commit is contained in:
Salvatore Giordano
2021-11-18 17:51:44 +01:00
committed by GitHub
13 changed files with 288 additions and 93 deletions
@@ -121,7 +121,8 @@ class WebSocket with TimerHelper {
_logger?.info('Closing connection with $baseUrl');
if (_webSocketChannel != null) {
_unsubscribeFromWebSocketChannel();
_webSocketChannel?.sink.close(status.goingAway);
_webSocketChannel?.sink
.close(_manuallyClosed ? status.normalClosure : status.goingAway);
_webSocketChannel = null;
}
}