| Index: mojo/services/network/interfaces/web_socket.mojom
|
| diff --git a/mojo/services/network/interfaces/web_socket.mojom b/mojo/services/network/interfaces/web_socket.mojom
|
| index f5880352795bac567522b188cc78599a26d31d8b..5d477fdb225cb0b871f095f05b1aa59b545822b5 100644
|
| --- a/mojo/services/network/interfaces/web_socket.mojom
|
| +++ b/mojo/services/network/interfaces/web_socket.mojom
|
| @@ -11,19 +11,15 @@ interface WebSocket {
|
| enum MessageType {
|
| CONTINUATION,
|
| TEXT,
|
| - BINARY
|
| + BINARY,
|
| };
|
| - const uint16 kAbnormalCloseCode = 1006; // stolen from websocket_bridge
|
| + const uint16 kAbnormalCloseCode = 1006; // stolen from websocket_bridge
|
|
|
| // Initiates a WebSocket connection to the given url. |send_stream| is a data
|
| // pipe which should remain open for the lifetime of the WebSocket. Data
|
| // to send over the WebSocket should be written to the producer end of the
|
| // |send_stream|.
|
| - Connect(string url,
|
| - array<string> protocols,
|
| - string origin,
|
| - handle<data_pipe_consumer> send_stream,
|
| - WebSocketClient client);
|
| + Connect(string url, array<string> protocols, string origin, handle<data_pipe_consumer> send_stream, WebSocketClient client);
|
|
|
| // Called after writing |num_bytes| worth of data to the WebSocket's
|
| // |send_stream|.
|
| @@ -38,9 +34,7 @@ interface WebSocketClient {
|
| // Called in response to a WebSocket.Connect call to indicate success
|
| // |receive_stream| is a data pipe which where incoming data from
|
| // the server is written.
|
| - DidConnect(string selected_subprotocol,
|
| - string extensions,
|
| - handle<data_pipe_consumer> receive_stream);
|
| + DidConnect(string selected_subprotocol, string extensions, handle<data_pipe_consumer> receive_stream);
|
|
|
| // Called when there is |num_bytes| worth of incoming data available on the
|
| // |receive_stream|.
|
|
|