mirror of
https://github.com/servo/servo.git
synced 2025-06-19 22:59:03 +01:00
Use hostname rather than host when appending a port manually.
The host attribute returns the port as well as the hostname.
This commit is contained in:
parent
d2d51d4776
commit
4a90f21e42
1 changed files with 1 additions and 1 deletions
|
@ -13,6 +13,6 @@ var tests = [
|
|||
];
|
||||
//Pass condition is to not throw
|
||||
for (var i = 0; i < tests.length; ++i) {
|
||||
test(function(){new WebSocket(tests[i][0] + location.host + ':' + tests[i][1] + '/echo')}, tests[i][0]);
|
||||
test(function(){new WebSocket(tests[i][0] + location.hostname + ':' + tests[i][1] + '/echo')}, tests[i][0]);
|
||||
}
|
||||
</script>
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue