| Index: runtime/bin/websocket_impl.dart
|
| diff --git a/runtime/bin/websocket_impl.dart b/runtime/bin/websocket_impl.dart
|
| index f3ccac957e3e8d457827c277a8d02644c6a7f620..f462713bcf2db1c43e27464682b8bab1775d31b0 100644
|
| --- a/runtime/bin/websocket_impl.dart
|
| +++ b/runtime/bin/websocket_impl.dart
|
| @@ -775,15 +775,14 @@ class _WebSocket implements WebSocket {
|
| throw new WebSocketException("Unsupported user info ${uri.userInfo}");
|
| }
|
| int port = uri.port == 0 ? HttpClient.DEFAULT_HTTP_PORT : uri.port;
|
| - String path;
|
| + String path = uri.path;
|
| + if (path.length == 0) path = "/";
|
| if (uri.query != "") {
|
| if (uri.fragment != "") {
|
| - path = "${uri.path}?${uri.query}#${uri.fragment}";
|
| + path = "${path}?${uri.query}#${uri.fragment}";
|
| } else {
|
| - path = "${uri.path}?${uri.query}";
|
| + path = "${path}?${uri.query}";
|
| }
|
| - } else {
|
| - path = uri.path;
|
| }
|
|
|
| HttpClient client = new HttpClient();
|
|
|