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