mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-10-25 19:25:43 +00:00
dda86cd70e
--HG-- extra : rebase_source : d635a4f39c587d4d381b486dd63de747865b77a2
20 lines
840 B
HTML
20 lines
840 B
HTML
<!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>
|