Index: sdk/lib/io/websocket.dart |
diff --git a/sdk/lib/io/websocket.dart b/sdk/lib/io/websocket.dart |
index 1e2d0fa2cc75111896dc0a4cbe6f5ddda5c468db..32dc9e065ea13c36c1a62fa3af7891edd9cc7d1a 100644 |
--- a/sdk/lib/io/websocket.dart |
+++ b/sdk/lib/io/websocket.dart |
@@ -109,6 +109,22 @@ abstract class WebSocket implements Stream, StreamSink { |
static const int CLOSED = 3; |
/** |
+ * Set and get the interval for sending ping signals. If a ping message is not |
+ * answered by a pong message from the peer, the `WebSocket` is assumed |
+ * disconnected and the connection is closed with a |
+ * [WebSocketStatus.GOING_AWAY] close code. When a ping signal is sent, the |
+ * pong message must be received within [pingInterval]. |
+ * |
+ * There are never two outstanding pings at any given time, and the next ping |
+ * timer starts when the pong is received. |
+ * |
+ * Set the [pingInterval] to `null` to disable sending ping messages. |
+ * |
+ * The default value is `null`. |
+ */ |
+ Duration pingInterval; |
+ |
+ /** |
* Create a new web socket connection. The URL supplied in [url] |
* must use the scheme [:ws:] or [:wss:]. The [protocols] argument is |
* specifying the subprotocols the client is willing to speak. |
@@ -150,22 +166,6 @@ abstract class WebSocket implements Stream, StreamSink { |
String get closeReason; |
/** |
- * Set and get the interval for sending ping signals. If a ping message is not |
- * answered by a pong message from the peer, the `WebSocket` is assumed |
- * disconnected and the connection is closed with a |
- * [WebSocketStatus.GOING_AWAY] close code. When a ping signal is sent, the |
- * pong message must be received within [pingInterval]. |
- * |
- * There are never two outstanding pings at any given time, and the next ping |
- * timer starts when the pong is received. |
- * |
- * Set the [pingInterval] to `null` to disable sending ping messages. |
- * |
- * The default value is `null`. |
- */ |
- Duration pingInterval; |
- |
- /** |
* Closes the web socket connection. Set the optional [code] and [reason] |
* arguments to send close information to the remote peer. If they are |
* omitted, the peer will see [WebSocketStatus.NO_STATUS_RECEIVED] code |
@@ -189,7 +189,7 @@ abstract class WebSocket implements Stream, StreamSink { |
class WebSocketException implements IOException { |
- const WebSocketException([String this.message = ""]); |
- String toString() => "WebSocketException: $message"; |
final String message; |
+ const WebSocketException([this.message = ""]); |
+ String toString() => "WebSocketException: $message"; |
} |