Index: dart/sdk/lib/io/socket.dart |
diff --git a/dart/sdk/lib/io/socket.dart b/dart/sdk/lib/io/socket.dart |
index b95163c5567765976e6eea3c6c7635e37e82c0f8..fd59482c357bd596a09ed3dd2d041bc8c0fb7d44 100644 |
--- a/dart/sdk/lib/io/socket.dart |
+++ b/dart/sdk/lib/io/socket.dart |
@@ -227,7 +227,8 @@ abstract class RawServerSocket implements Stream<RawSocket> { |
external static Future<RawServerSocket> bind(address, |
int port, |
{int backlog: 0, |
- bool v6Only: false}); |
+ bool v6Only: false, |
+ bool shared: false}); |
/** |
* Returns the port used by this socket. |
@@ -260,6 +261,12 @@ abstract class RawServerSocket implements Stream<RawSocket> { |
* a [RawSendPort]. |
*/ |
RawServerSocketReference get reference; |
+ |
+ /** |
+ * Whether the underlying socket of this [RawServerSocket] might potentially |
+ * be shared. |
+ */ |
+ bool get shared; |
Søren Gjesse
2015/01/29 09:05:51
Do we need to expose this as a public getter?
kustermann
2015/01/29 11:14:05
No. I've removed it now. We can add it later on ag
|
} |
@@ -318,7 +325,8 @@ abstract class ServerSocket implements Stream<Socket> { |
external static Future<ServerSocket> bind(address, |
int port, |
{int backlog: 0, |
- bool v6Only: false}); |
+ bool v6Only: false, |
+ bool shared: false}); |
/** |
* Returns the port used by this socket. |
@@ -351,6 +359,12 @@ abstract class ServerSocket implements Stream<Socket> { |
* [SendPort]. |
*/ |
ServerSocketReference get reference; |
+ |
+ /** |
+ * Whether the underlying socket of this [ServerSocket] might potentially |
+ * be shared. |
+ */ |
+ bool get shared; |
Søren Gjesse
2015/01/29 09:05:51
Ditto.
kustermann
2015/01/29 11:14:05
Done.
|
} |