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|. |