send connection_terminate message on close

rose-a · rose-a · commit 1a4fc38b9bc1 · 2020-10-12T20:34:18.000+02:00
diff --git a/src/GraphQL.Client/Websocket/GraphQLHttpWebSocket.cs b/src/GraphQL.Client/Websocket/GraphQLHttpWebSocket.cs
@@ -617,6 +617,9 @@ private async Task CloseAsync()
                 return;
             }
 
+            Debug.WriteLine($"send \"connection_terminate\" message");
+            await SendWebSocketMessageAsync(new GraphQLWebSocketRequest{Type = GraphQLWebSocketMessageType.GQL_CONNECTION_TERMINATE});
+
             Debug.WriteLine($"closing websocket {_clientWebSocket.GetHashCode()}");
             await _clientWebSocket.CloseAsync(WebSocketCloseStatus.NormalClosure, "", CancellationToken.None);
             _stateSubject.OnNext(GraphQLWebsocketConnectionState.Disconnected);

Original file line number	Diff line number	Diff line change
`@@ -617,6 +617,9 @@ private async Task CloseAsync()`
`617`	`617`	`return;`
`618`	`618`	`}`
`619`	`619`
	`620`	`+ Debug.WriteLine($"send \"connection_terminate\" message");`
	`621`	`+ await SendWebSocketMessageAsync(new GraphQLWebSocketRequest{Type = GraphQLWebSocketMessageType.GQL_CONNECTION_TERMINATE});`
	`622`	`+`
`620`	`623`	`Debug.WriteLine($"closing websocket {_clientWebSocket.GetHashCode()}");`
`621`	`624`	`await _clientWebSocket.CloseAsync(WebSocketCloseStatus.NormalClosure, "", CancellationToken.None);`
`622`	`625`	`_stateSubject.OnNext(GraphQLWebsocketConnectionState.Disconnected);`