14package org.dartlang.vm.service.internal;
16import com.google.gson.JsonObject;
17import de.roderick.weberknecht.WebSocket;
18import de.roderick.weberknecht.WebSocketException;
19import org.dartlang.vm.service.logging.Logging;
26 private WebSocket webSocket;
29 this.webSocket = webSocket;
33 public void add(JsonObject json) {
34 String request = json.toString();
35 if (webSocket ==
null) {
36 Logging.getLogger().logInformation(
"Dropped: " + request);
39 Logging.getLogger().logInformation(
"Sent: " + request);
41 webSocket.send(request);
42 }
catch (WebSocketException e) {
43 Logging.getLogger().logError(
"Failed to send request: " + request, e);
49 if (webSocket !=
null) {
52 }
catch (WebSocketException e) {
53 Logging.getLogger().logError(
"Failed to close websocket", e);
WebSocketRequestSink(WebSocket webSocket)
void add(JsonObject json)
const CatchEntryMove de[]