| <!DOCTYPE html> |
| <html> |
| <head> |
| <title>W3C WebSocket API - Create WebSocket - wsocket.url is set correctly - non default port</title> |
| <script type="text/javascript" src="/resources/testharness.js"></script> |
| <script type="text/javascript" src="/resources/testharnessreport.js"></script> |
| <script type="text/javascript" src="websocket.js?pipe=sub"></script> |
| </head> |
| <body> |
| <div id="log"></div> |
| <script type="text/javascript"> |
| test(function () { |
| var urlNonDefaultPort = "ws://" + __SERVER__NAME + ":" + __NEW__PORT + "/" + __PATH; |
| var wsocket = new WebSocket(urlNonDefaultPort); |
| assert_equals(wsocket.url, urlNonDefaultPort, "wsocket.url is set correctly"); |
| }, "W3C WebSocket API - Create WebSocket - wsocket.url should be set correctly"); |
| </script> |
| </body> |
| </html> |
