OLD | NEW |
1 // Copyright 2015 The Chromium Authors. All rights reserved. | 1 // Copyright 2015 The Chromium Authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 module mojo; | 5 module mojo; |
6 | 6 |
| 7 import "mojo/public/interfaces/network/network_error.mojom"; |
7 import "network/public/interfaces/http_message.mojom"; | 8 import "network/public/interfaces/http_message.mojom"; |
8 import "network/public/interfaces/network_error.mojom"; | |
9 import "network/public/interfaces/web_socket.mojom"; | 9 import "network/public/interfaces/web_socket.mojom"; |
10 | 10 |
11 interface HttpConnection { | 11 interface HttpConnection { |
12 // Sets the OS send buffer size (in bytes) for the underlying socket. | 12 // Sets the OS send buffer size (in bytes) for the underlying socket. |
13 SetSendBufferSize(uint32 size) => (NetworkError result); | 13 SetSendBufferSize(uint32 size) => (NetworkError result); |
14 | 14 |
15 // Sets the OS receive buffer size (in bytes) for the underlying socket. | 15 // Sets the OS receive buffer size (in bytes) for the underlying socket. |
16 SetReceiveBufferSize(uint32 size) => (NetworkError result); | 16 SetReceiveBufferSize(uint32 size) => (NetworkError result); |
17 }; | 17 }; |
18 | 18 |
(...skipping 14 matching lines...) Expand all Loading... |
33 // following are not supported: | 33 // following are not supported: |
34 // - negotiating subprotocol or extension; | 34 // - negotiating subprotocol or extension; |
35 // - fragmented or non-text messages; | 35 // - fragmented or non-text messages; |
36 // - failure or close notification; | 36 // - failure or close notification; |
37 // - flow control. | 37 // - flow control. |
38 OnReceivedWebSocketRequest(HttpRequest request) | 38 OnReceivedWebSocketRequest(HttpRequest request) |
39 => (WebSocket&? web_socket, | 39 => (WebSocket&? web_socket, |
40 handle<data_pipe_consumer>? send_stream, | 40 handle<data_pipe_consumer>? send_stream, |
41 WebSocketClient? client); | 41 WebSocketClient? client); |
42 }; | 42 }; |
OLD | NEW |