// META: script=websocket.sub.js

        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");