| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 part of observatory; | 5 part of observatory; |
| 6 | 6 |
| 7 /// A request response interceptor is called for each response. | 7 /// A request response interceptor is called for each response. |
| 8 typedef void RequestResponseInterceptor(); | 8 typedef void RequestResponseInterceptor(); |
| 9 | 9 |
| 10 abstract class RequestManager extends Object with ChangeNotifierMixin { | 10 abstract class RequestManager extends Object with ChangeNotifierMixin { |
| (...skipping 44 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 55 /// future which contains the reply from the VM service. | 55 /// future which contains the reply from the VM service. |
| 56 Future<String> request(String requestString); | 56 Future<String> request(String requestString); |
| 57 } | 57 } |
| 58 | 58 |
| 59 | 59 |
| 60 class HttpRequestManager extends RequestManager { | 60 class HttpRequestManager extends RequestManager { |
| 61 Future<String> request(String requestString) { | 61 Future<String> request(String requestString) { |
| 62 return HttpRequest.getString(prefix + requestString); | 62 return HttpRequest.getString(prefix + requestString); |
| 63 } | 63 } |
| 64 } | 64 } |
| OLD | NEW |