<!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.sub.js"></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>