1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
var __SERVER__NAME = "{{host}}";
var __PORT = {{ports[ws][0]}};
var __SECURE__PORT = {{ports[wss][0]}};
var __NEW__PORT = __PORT; //All ports are non-default for now
var __NEW__SECURE__PORT = __SECURE__PORT; //All ports are non-default for now
var __PATH = "echo";
var wsocket;
var data;
function IsWebSocket() {
if (!self.WebSocket) {
assert_true(false, "Browser does not support WebSocket");
}
}
function CreateWebSocketNonAbsolute() {
IsWebSocket();
var url = __SERVER__NAME;
wsocket = new WebSocket(url);
}
function CreateWebSocketNonWsScheme() {
IsWebSocket();
var url = "http://" + __SERVER__NAME + ":" + __PORT + "/" + __PATH;
wsocket = new WebSocket(url);
}
function CreateWebSocketNonAsciiProtocol(nonAsciiProtocol) {
IsWebSocket();
var url = "ws://" + __SERVER__NAME + ":" + __PORT + "/" + __PATH;
wsocket = new WebSocket(url, nonAsciiProtocol);
}
function CreateWebSocketWithAsciiSep(asciiWithSep) {
IsWebSocket();
var url = "ws://" + __SERVER__NAME + ":" + __PORT + "/" + __PATH;
wsocket = new WebSocket(url, asciiWithSep);
}
function CreateWebSocketWithBlockedPort(blockedPort) {
IsWebSocket();
var url = "ws://" + __SERVER__NAME + ":" + blockedPort + "/" + __PATH;
return new WebSocket(url);
}
function CreateWebSocketWithSpaceInUrl(urlWithSpace) {
IsWebSocket();
var url = "ws://" + urlWithSpace + ":" + __PORT + "/" + __PATH;
wsocket = new WebSocket(url);
}
function CreateWebSocketWithSpaceInProtocol(protocolWithSpace) {
IsWebSocket();
var url = "ws://" + __SERVER__NAME + ":" + __PORT + "/" + __PATH;
wsocket = new WebSocket(url, protocolWithSpace);
}
function CreateWebSocketWithRepeatedProtocols() {
IsWebSocket();
var url = "ws://" + __SERVER__NAME + ":" + __PORT + "/" + __PATH;
wsocket = new WebSocket(url, ["echo", "echo"]);
}
function CreateWebSocketWithRepeatedProtocolsCaseInsensitive() {
IsWebSocket();
var url = "ws://" + __SERVER__NAME + ":" + __PORT + "/" + __PATH;
wsocket = new WebSocket(url, ["echo", "eCho"]);
}
function CreateWebSocket(isSecure, isProtocol, isProtocols) {
IsWebSocket();
var url;
if (isSecure) {
if (__SECURE__PORT === null) {
throw new Error("wss not yet supported");
}
url = "wss://" + __SERVER__NAME + ":" + __SECURE__PORT + "/" + __PATH;
}
else {
url = "ws://" + __SERVER__NAME + ":" + __PORT + "/" + __PATH;
}
if (isProtocol) {
wsocket = new WebSocket(url, "echo");
}
else if (isProtocols) {
wsocket = new WebSocket(url, ["echo", "chat"]);
}
else {
wsocket = new WebSocket(url);
}
return wsocket;
}
function CreateControlWebSocket(isSecure) {
IsWebSocket();
var url;
if (isSecure) {
url = "wss://" + __SERVER__NAME + ":" + __SECURE__PORT + "/control";
}
else {
url = "ws://" + __SERVER__NAME + ":" + __PORT + "/control";
}
return new WebSocket(url);
}
|
