| Index: mojo/dart/embedder/vmservice/server.dart
|
| diff --git a/mojo/dart/embedder/vmservice/server.dart b/mojo/dart/embedder/vmservice/server.dart
|
| index 188b532399d0241f7aa5b5fb4321dfb58a501b81..4e069f97edcdb419f0b2ca6b4bbad737262242ff 100644
|
| --- a/mojo/dart/embedder/vmservice/server.dart
|
| +++ b/mojo/dart/embedder/vmservice/server.dart
|
| @@ -35,17 +35,9 @@ class WebSocketClient extends Client {
|
| }
|
| }
|
|
|
| - post(var serial, dynamic result) {
|
| + post(dynamic result) {
|
| try {
|
| - if (serial == null && result is! String) {
|
| - socket.add(result);
|
| - } else {
|
| - Map map = {
|
| - 'id': serial,
|
| - 'result': result
|
| - };
|
| - socket.add(JSON.encode(map));
|
| - }
|
| + socket.add(result);
|
| } catch (_) {
|
| print("Ignoring error posting over WebSocket.");
|
| }
|
| @@ -67,7 +59,7 @@ class HttpRequestClient extends Client {
|
|
|
| HttpRequestClient(this.request, VMService service) : super(service);
|
|
|
| - post(var serial, String result) {
|
| + post(String result) {
|
| request.response..headers.contentType = jsonContentType
|
| ..write(result)
|
| ..close();
|
|
|