| Index: runtime/bin/vmservice/server.dart
|
| diff --git a/runtime/bin/vmservice/server.dart b/runtime/bin/vmservice/server.dart
|
| index 2530f3740f9c15ff89530751b86e3b9dbf85d65e..9818e588693fa789446c07ab0f7ccec9779bcfa9 100644
|
| --- a/runtime/bin/vmservice/server.dart
|
| +++ b/runtime/bin/vmservice/server.dart
|
| @@ -35,17 +35,9 @@ class WebSocketClient extends Client {
|
| }
|
| }
|
|
|
| - void post(var serial, dynamic result) {
|
| + void 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.");
|
| }
|
| @@ -68,7 +60,7 @@ class HttpRequestClient extends Client {
|
| HttpRequestClient(this.request, VMService service)
|
| : super(service, sendEvents:false);
|
|
|
| - void post(var serial, String result) {
|
| + void post(String result) {
|
| request.response..headers.contentType = jsonContentType
|
| ..write(result)
|
| ..close();
|
|
|