adamc@692
|
1 // Lists
|
adamc@692
|
2
|
adamc@580
|
3 function cons(v, ls) {
|
adamc@690
|
4 return { next : ls, data : v };
|
adamc@690
|
5 }
|
adamc@690
|
6 function concat(ls1, ls2) {
|
adamc@690
|
7 return (ls1 ? cons(ls1.data, concat(ls1.next, ls2)) : ls2);
|
adamc@690
|
8 }
|
adamc@690
|
9 function member(x, ls) {
|
adamc@690
|
10 for (; ls; ls = ls.next)
|
adamc@690
|
11 if (ls.data == x)
|
adamc@690
|
12 return true;
|
adamc@690
|
13 return false;
|
adamc@690
|
14 }
|
adamc@690
|
15 function remove(x, ls) {
|
adamc@690
|
16 return (ls ? (ls.data == x ? ls.next : cons(ls.data, remove(x, ls.next))) : null);
|
adamc@690
|
17 }
|
adamc@690
|
18 function union(ls1, ls2) {
|
adamc@690
|
19 return (ls1 ? (member(ls1.data, ls2) ? union(ls1.next, ls2) : cons(ls1.data, union(ls1.next, ls2))) : ls2);
|
adamc@580
|
20 }
|
adamc@703
|
21 function length(ls) {
|
adamc@703
|
22 return (ls ? 1 + length(ls.next) : 0);
|
adamc@703
|
23 }
|
adamc@670
|
24
|
adamc@690
|
25
|
adamc@729
|
26 // Error handling
|
adamc@729
|
27
|
adamc@729
|
28 function whine(msg) {
|
adamc@729
|
29 alert(msg);
|
adamc@729
|
30 throw msg;
|
adamc@729
|
31 }
|
adamc@729
|
32
|
adamc@729
|
33 function pf() {
|
adamc@729
|
34 whine("Pattern match failure");
|
adamc@729
|
35 }
|
adamc@729
|
36
|
adamc@798
|
37 function runHandlers(kind, ls, arg) {
|
adamc@798
|
38 if (ls == null)
|
adamc@798
|
39 alert(kind + ": " + arg);
|
adamc@729
|
40 for (; ls; ls = ls.next)
|
adamc@729
|
41 try {
|
adamc@729
|
42 ls.data(arg)(null);
|
adamc@729
|
43 } catch (v) { }
|
adamc@729
|
44 }
|
adamc@729
|
45
|
adamc@729
|
46 var errorHandlers = null;
|
adamc@729
|
47
|
adamc@729
|
48 function onError(f) {
|
adamc@729
|
49 errorHandlers = cons(f, errorHandlers);
|
adamc@729
|
50 }
|
adamc@729
|
51
|
adamc@729
|
52 function er(s) {
|
adamc@798
|
53 runHandlers("Error", errorHandlers, s);
|
adamc@729
|
54 throw {uw_error: s};
|
adamc@729
|
55 }
|
adamc@729
|
56
|
adamc@729
|
57 var failHandlers = null;
|
adamc@729
|
58
|
adamc@729
|
59 function onFail(f) {
|
adamc@729
|
60 failHandlers = cons(f, failHandlers);
|
adamc@729
|
61 }
|
adamc@729
|
62
|
adamc@729
|
63 function doExn(v) {
|
adamc@729
|
64 if (v == null || v.uw_error == null) {
|
adamc@729
|
65 var s = (v == null ? "null" : v.toString());
|
adamc@798
|
66 runHandlers("Fail", failHandlers, s);
|
adamc@729
|
67 }
|
adamc@729
|
68 }
|
adamc@729
|
69
|
adamc@729
|
70 var disconnectHandlers = null;
|
adamc@729
|
71
|
adamc@729
|
72 function onDisconnect(f) {
|
adamc@729
|
73 disconnectHandlers = cons(function (_){return f}, disconnectHandlers);
|
adamc@729
|
74 }
|
adamc@729
|
75
|
adamc@729
|
76 function discon() {
|
adamc@798
|
77 runHandlers("Disconnect", disconnectHandlers, null);
|
adamc@729
|
78 }
|
adamc@729
|
79
|
adamc@729
|
80 var connectHandlers = null;
|
adamc@729
|
81
|
adamc@729
|
82 function onConnectFail(f) {
|
adamc@729
|
83 connectHandlers = cons(function (_){return f}, connectHandlers);
|
adamc@729
|
84 }
|
adamc@729
|
85
|
adamc@729
|
86 function conn() {
|
adamc@798
|
87 runHandlers("Connect", connectHandlers, null);
|
adamc@729
|
88 }
|
adamc@729
|
89
|
adamc@729
|
90 var serverHandlers = null;
|
adamc@729
|
91
|
adamc@729
|
92 function onServerError(f) {
|
adamc@729
|
93 serverHandlers = cons(f, serverHandlers);
|
adamc@729
|
94 }
|
adamc@729
|
95
|
adamc@729
|
96 function servErr(s) {
|
adamc@798
|
97 runHandlers("Server", serverHandlers, s);
|
adamc@729
|
98 }
|
adamc@729
|
99
|
adamc@729
|
100
|
adamc@692
|
101 // Embedding closures in XML strings
|
adamc@692
|
102
|
adamc@693
|
103 function cs(f) {
|
adamc@693
|
104 return {closure: f};
|
adamc@693
|
105 }
|
adamc@693
|
106
|
adamc@693
|
107 function isWeird(v) {
|
adamc@693
|
108 return v.closure != null || v.cat1 != null;
|
adamc@693
|
109 }
|
adamc@693
|
110
|
adamc@692
|
111 function cat(s1, s2) {
|
adamc@693
|
112 if (isWeird(s1) || isWeird(s2))
|
adamc@693
|
113 return {cat1: s1, cat2: s2};
|
adamc@693
|
114 else
|
adamc@692
|
115 return s1 + s2;
|
adamc@692
|
116 }
|
adamc@692
|
117
|
adamc@692
|
118 var closures = [];
|
adamc@703
|
119 var freeClosures = null;
|
adamc@692
|
120
|
adamc@692
|
121 function newClosure(f) {
|
adamc@703
|
122 var n;
|
adamc@703
|
123 if (freeClosures == null) {
|
adamc@703
|
124 n = closures.length;
|
adamc@703
|
125 } else {
|
adamc@703
|
126 n = freeClosures.data;
|
adamc@703
|
127 freeClosures = freeClosures.next;
|
adamc@703
|
128 }
|
adamc@692
|
129 closures[n] = f;
|
adamc@692
|
130 return n;
|
adamc@692
|
131 }
|
adamc@692
|
132
|
adamc@703
|
133 function freeClosure(n) {
|
adamc@703
|
134 closures[n] = null;
|
adamc@703
|
135 freeClosures = cons(n, freeClosures);
|
adamc@703
|
136 }
|
adamc@703
|
137
|
adamc@692
|
138 function cr(n) {
|
adamc@692
|
139 return closures[n]();
|
adamc@692
|
140 }
|
adamc@692
|
141
|
adamc@703
|
142 function flatten(cls, tr) {
|
adamc@693
|
143 if (tr.cat1 != null)
|
adamc@703
|
144 return flatten(cls, tr.cat1) + flatten(cls, tr.cat2);
|
adamc@703
|
145 else if (tr.closure != null) {
|
adamc@703
|
146 var cl = newClosure(tr.closure);
|
adamc@703
|
147 cls.v = cons(cl, cls.v);
|
adamc@703
|
148 return "cr(" + cl + ")";
|
adamc@703
|
149 } else
|
adamc@692
|
150 return tr;
|
adamc@692
|
151 }
|
adamc@692
|
152
|
adamc@728
|
153 function flattenLocal(s) {
|
adamc@728
|
154 var cls = {v : null};
|
adamc@728
|
155 var r = flatten(cls, s);
|
adamc@728
|
156 for (cl = cls.v; cl != null; cl = cl.next)
|
adamc@728
|
157 freeClosure(cl.data);
|
adamc@728
|
158 return r;
|
adamc@728
|
159 }
|
adamc@728
|
160
|
adamc@692
|
161
|
adamc@692
|
162
|
adamc@692
|
163 // Dynamic tree management
|
adamc@692
|
164
|
adamc@690
|
165 function populate(node) {
|
adamc@690
|
166 var s = node.signal;
|
adamc@690
|
167 var oldSources = node.sources;
|
adamc@729
|
168 try {
|
adamc@729
|
169 var sr = s();
|
adamc@729
|
170 var newSources = sr.sources;
|
adamc@690
|
171
|
adamc@729
|
172 for (var sp = oldSources; sp; sp = sp.next)
|
adamc@729
|
173 if (!member(sp.data, newSources))
|
adamc@729
|
174 sp.data.dyns = remove(node, sp.data.dyns);
|
adamc@690
|
175
|
adamc@729
|
176 for (var sp = newSources; sp; sp = sp.next)
|
adamc@729
|
177 if (!member(sp.data, oldSources))
|
adamc@729
|
178 sp.data.dyns = cons(node, sp.data.dyns);
|
adamc@690
|
179
|
adamc@729
|
180 node.sources = newSources;
|
adamc@729
|
181 node.recreate(sr.data);
|
adamc@729
|
182 } catch (v) {
|
adamc@729
|
183 doExn(v);
|
adamc@729
|
184 }
|
adamc@579
|
185 }
|
adamc@574
|
186
|
adamc@580
|
187 function sc(v) {
|
adamc@690
|
188 return {data : v, dyns : null};
|
adamc@580
|
189 }
|
adamc@580
|
190 function sv(s, v) {
|
adamc@690
|
191 s.data = v;
|
adamc@690
|
192 for (var ls = s.dyns; ls; ls = ls.next)
|
adamc@690
|
193 if (!ls.dead)
|
adamc@690
|
194 populate(ls.data);
|
adamc@580
|
195 }
|
adamc@601
|
196 function sg(s) {
|
adamc@690
|
197 return s.data;
|
adamc@601
|
198 }
|
adamc@579
|
199
|
adamc@580
|
200 function ss(s) {
|
adamc@690
|
201 return function() { return {sources : cons(s, null), data : s.data } };
|
adamc@580
|
202 }
|
adamc@580
|
203 function sr(v) {
|
adamc@690
|
204 return function() { return {sources : null, data : v } };
|
adamc@580
|
205 }
|
adamc@580
|
206 function sb(x,y) {
|
adamc@690
|
207 return function() {
|
adamc@690
|
208 var xr = x();
|
adamc@690
|
209 var yr = y(xr.data)();
|
adamc@690
|
210 return {sources : union(xr.sources, yr.sources), data : yr.data};
|
adamc@690
|
211 };
|
adamc@580
|
212 }
|
adamc@571
|
213
|
adamc@604
|
214 function lastParent() {
|
adamc@604
|
215 var pos = document;
|
adamc@604
|
216
|
adamc@600
|
217 while (pos.lastChild && pos.lastChild.nodeType == 1)
|
adamc@600
|
218 pos = pos.lastChild;
|
adamc@600
|
219
|
adamc@600
|
220 return pos.parentNode;
|
adamc@600
|
221 }
|
adamc@600
|
222
|
adamc@604
|
223 function addNode(node) {
|
adamc@604
|
224 if (thisScript) {
|
adamc@604
|
225 thisScript.parentNode.appendChild(node);
|
adamc@604
|
226 thisScript.parentNode.removeChild(thisScript);
|
adamc@604
|
227 } else
|
adamc@604
|
228 lastParent().appendChild(node);
|
adamc@603
|
229 }
|
adamc@603
|
230
|
adamc@690
|
231 var thisScript = null;
|
adamc@690
|
232
|
adamc@604
|
233 function runScripts(node) {
|
adamc@604
|
234 var savedScript = thisScript;
|
adamc@603
|
235
|
adamc@692
|
236 var scripts = node.getElementsByTagName("script"), scriptsCopy = [];
|
adamc@604
|
237 var len = scripts.length;
|
adamc@646
|
238 for (var i = 0; i < len; ++i)
|
adamc@646
|
239 scriptsCopy[i] = scripts[i];
|
adamc@604
|
240 for (var i = 0; i < len; ++i) {
|
adamc@646
|
241 thisScript = scriptsCopy[i];
|
adamc@729
|
242 try {
|
adamc@729
|
243 eval(thisScript.textContent);
|
adamc@729
|
244 } catch (v) {
|
adamc@729
|
245 doExn(v);
|
adamc@729
|
246 }
|
adamc@604
|
247 }
|
adamc@604
|
248
|
adamc@604
|
249 thisScript = savedScript;
|
adamc@603
|
250 }
|
adamc@603
|
251
|
adamc@603
|
252
|
adamc@692
|
253 // Dynamic tree entry points
|
adamc@692
|
254
|
adamc@692
|
255 var dynDepth = 0;
|
adamc@692
|
256
|
adamc@571
|
257 function dyn(s) {
|
adamc@571
|
258 var x = document.createElement("span");
|
adamc@690
|
259 x.dead = false;
|
adamc@690
|
260 x.signal = s;
|
adamc@690
|
261 x.sources = null;
|
adamc@703
|
262 x.closures = null;
|
adamc@690
|
263 x.recreate = function(v) {
|
adamc@703
|
264 for (var ls = x.closures; ls; ls = ls.next)
|
adamc@703
|
265 freeClosure(ls.data);
|
adamc@692
|
266
|
adamc@690
|
267 var spans = x.getElementsByTagName("span");
|
adamc@690
|
268 for (var i = 0; i < spans.length; ++i) {
|
adamc@690
|
269 var span = spans[i];
|
adamc@690
|
270 span.dead = true;
|
adamc@690
|
271 for (var ls = span.sources; ls; ls = ls.next)
|
adamc@690
|
272 ls.data.dyns = remove(span, ls.data.dyns);
|
adamc@703
|
273 for (var ls = span.closures; ls; ls = ls.next)
|
adamc@703
|
274 freeClosure(ls.data);
|
adamc@690
|
275 }
|
adamc@690
|
276
|
adamc@703
|
277 var cls = {v : null};
|
adamc@703
|
278 x.innerHTML = flatten(cls, v);
|
adamc@703
|
279 x.closures = cls.v;
|
adamc@690
|
280 runScripts(x);
|
adamc@690
|
281 };
|
adamc@703
|
282 addNode(x);
|
adamc@690
|
283 populate(x);
|
adamc@571
|
284 }
|
adamc@582
|
285
|
adamc@797
|
286 function inp(t, s, content) {
|
adamc@598
|
287 var x = document.createElement(t);
|
adamc@690
|
288 x.dead = false;
|
adamc@690
|
289 x.signal = ss(s);
|
adamc@690
|
290 x.sources = null;
|
adamc@690
|
291 x.recreate = function(v) { if (x.value != v) x.value = v; };
|
adamc@690
|
292 populate(x);
|
adamc@604
|
293 addNode(x);
|
adamc@797
|
294 if (t == "select") {
|
adamc@797
|
295 x.onchange = function() { sv(s, x.value) };
|
adamc@797
|
296 x.innerHTML = content;
|
adamc@797
|
297 sv(s, x.value);
|
adamc@797
|
298 } else
|
adamc@797
|
299 x.onkeyup = function() { sv(s, x.value) };
|
adamc@797
|
300
|
adamc@606
|
301 return x;
|
adamc@598
|
302 }
|
adamc@598
|
303
|
adamc@692
|
304
|
adamc@692
|
305 // Basic string operations
|
adamc@692
|
306
|
adamc@597
|
307 function eh(x) {
|
adamc@597
|
308 return x.split("&").join("&").split("<").join("<").split(">").join(">");
|
adamc@597
|
309 }
|
adamc@597
|
310
|
adamc@582
|
311 function ts(x) { return x.toString() }
|
adamc@586
|
312 function bs(b) { return (b ? "True" : "False") }
|
adamc@586
|
313
|
adamc@649
|
314 function pi(s) {
|
adamc@649
|
315 var r = parseInt(s);
|
adamc@649
|
316 if (r.toString() == s)
|
adamc@649
|
317 return r;
|
adamc@649
|
318 else
|
adamc@729
|
319 er("Can't parse int: " + s);
|
adamc@649
|
320 }
|
adamc@649
|
321
|
adamc@649
|
322 function pfl(s) {
|
adamc@649
|
323 var r = parseFloat(s);
|
adamc@649
|
324 if (r.toString() == s)
|
adamc@649
|
325 return r;
|
adamc@649
|
326 else
|
adamc@729
|
327 er("Can't parse float: " + s);
|
adamc@649
|
328 }
|
adamc@649
|
329
|
adamc@692
|
330 function uf(s) {
|
adamc@692
|
331 return escape(s).replace(new RegExp ("/", "g"), "%2F");
|
adamc@691
|
332 }
|
adamc@691
|
333
|
adamc@692
|
334 function uu(s) {
|
adamc@692
|
335 return unescape(s).replace(new RegExp ("\\+", "g"), " ");
|
adamc@692
|
336 }
|
adamc@692
|
337
|
adamc@692
|
338
|
adamc@603
|
339
|
adamc@692
|
340 // Remote calls
|
adamc@609
|
341
|
adamc@703
|
342 var client_id = null;
|
adamc@668
|
343 var client_pass = 0;
|
adamc@668
|
344 var url_prefix = "/";
|
adamc@673
|
345 var timeout = 60;
|
adamc@668
|
346
|
adamc@668
|
347 function getXHR(uri)
|
adamc@609
|
348 {
|
adamc@609
|
349 try {
|
adamc@609
|
350 return new XMLHttpRequest();
|
adamc@609
|
351 } catch (e) {
|
adamc@609
|
352 try {
|
adamc@609
|
353 return new ActiveXObject("Msxml2.XMLHTTP");
|
adamc@609
|
354 } catch (e) {
|
adamc@609
|
355 try {
|
adamc@609
|
356 return new ActiveXObject("Microsoft.XMLHTTP");
|
adamc@609
|
357 } catch (e) {
|
adamc@609
|
358 throw "Your browser doesn't seem to support AJAX.";
|
adamc@609
|
359 }
|
adamc@609
|
360 }
|
adamc@609
|
361 }
|
adamc@609
|
362 }
|
adamc@609
|
363
|
adamc@736
|
364 var sig = null;
|
adamc@736
|
365
|
adamc@736
|
366 function requestUri(xhr, uri, needsSig) {
|
adamc@668
|
367 xhr.open("GET", uri, true);
|
adamc@668
|
368
|
adamc@703
|
369 if (client_id != null) {
|
adamc@668
|
370 xhr.setRequestHeader("UrWeb-Client", client_id.toString());
|
adamc@668
|
371 xhr.setRequestHeader("UrWeb-Pass", client_pass.toString());
|
adamc@668
|
372 }
|
adamc@668
|
373
|
adamc@736
|
374 if (needsSig) {
|
adamc@736
|
375 if (sig == null)
|
adamc@736
|
376 whine("Missing cookie signature!");
|
adamc@736
|
377
|
adamc@736
|
378 xhr.setRequestHeader("UrWeb-Sig", sig);
|
adamc@736
|
379 }
|
adamc@736
|
380
|
adamc@668
|
381 xhr.send(null);
|
adamc@668
|
382 }
|
adamc@668
|
383
|
adamc@736
|
384 function rc(uri, parse, k, needsSig) {
|
adamc@728
|
385 uri = flattenLocal(uri);
|
adamc@609
|
386 var xhr = getXHR();
|
adamc@609
|
387
|
adamc@609
|
388 xhr.onreadystatechange = function() {
|
adamc@612
|
389 if (xhr.readyState == 4) {
|
adamc@612
|
390 var isok = false;
|
adamc@612
|
391
|
adamc@612
|
392 try {
|
adamc@612
|
393 if (xhr.status == 200)
|
adamc@612
|
394 isok = true;
|
adamc@612
|
395 } catch (e) { }
|
adamc@612
|
396
|
adamc@729
|
397 if (isok) {
|
adamc@729
|
398 try {
|
adamc@729
|
399 k(parse(xhr.responseText));
|
adamc@729
|
400 } catch (v) {
|
adamc@729
|
401 doExn(v);
|
adamc@729
|
402 }
|
adamc@729
|
403 } else {
|
adamc@729
|
404 conn();
|
adamc@649
|
405 }
|
adamc@612
|
406 }
|
adamc@609
|
407 };
|
adamc@609
|
408
|
adamc@736
|
409 requestUri(xhr, uri, needsSig);
|
adamc@609
|
410 }
|
adamc@667
|
411
|
adamc@667
|
412 function path_join(s1, s2) {
|
adamc@667
|
413 if (s1.length > 0 && s1[s1.length-1] == '/')
|
adamc@667
|
414 return s1 + s2;
|
adamc@667
|
415 else
|
adamc@667
|
416 return s1 + "/" + s2;
|
adamc@667
|
417 }
|
adamc@667
|
418
|
adamc@670
|
419 var channels = [];
|
adamc@670
|
420
|
adamc@670
|
421 function newQueue() {
|
adamc@670
|
422 return { front : null, back : null };
|
adamc@670
|
423 }
|
adamc@670
|
424 function enqueue(q, v) {
|
adamc@670
|
425 if (q.front == null) {
|
adamc@670
|
426 q.front = cons(v, null);
|
adamc@670
|
427 q.back = q.front;
|
adamc@670
|
428 } else {
|
adamc@670
|
429 var node = cons(v, null);
|
adamc@690
|
430 q.back.next = node;
|
adamc@670
|
431 q.back = node;
|
adamc@670
|
432 }
|
adamc@670
|
433 }
|
adamc@670
|
434 function dequeue(q) {
|
adamc@670
|
435 if (q.front == null)
|
adamc@670
|
436 return null;
|
adamc@670
|
437 else {
|
adamc@690
|
438 var r = q.front.data;
|
adamc@690
|
439 q.front = q.front.next;
|
adamc@670
|
440 if (q.front == null)
|
adamc@670
|
441 q.back = null;
|
adamc@670
|
442 return r;
|
adamc@670
|
443 }
|
adamc@670
|
444 }
|
adamc@670
|
445
|
adamc@670
|
446 function newChannel() {
|
adamc@670
|
447 return { msgs : newQueue(), listeners : newQueue() };
|
adamc@670
|
448 }
|
adamc@670
|
449
|
adamc@667
|
450 function listener() {
|
adamc@668
|
451 var uri = path_join(url_prefix, ".msgs");
|
adamc@667
|
452 var xhr = getXHR();
|
adamc@673
|
453 var tid, orsc, onTimeout;
|
adamc@673
|
454
|
adamc@673
|
455 var connect = function () {
|
adamc@673
|
456 xhr.onreadystatechange = orsc;
|
adamc@673
|
457 tid = window.setTimeout(onTimeout, timeout * 500);
|
adamc@736
|
458 requestUri(xhr, uri, false);
|
adamc@673
|
459 }
|
adamc@673
|
460
|
adamc@673
|
461 orsc = function() {
|
adamc@667
|
462 if (xhr.readyState == 4) {
|
adamc@673
|
463 window.clearTimeout(tid);
|
adamc@673
|
464
|
adamc@667
|
465 var isok = false;
|
adamc@667
|
466
|
adamc@667
|
467 try {
|
adamc@667
|
468 if (xhr.status == 200)
|
adamc@667
|
469 isok = true;
|
adamc@667
|
470 } catch (e) { }
|
adamc@667
|
471
|
adamc@668
|
472 if (isok) {
|
adamc@669
|
473 var lines = xhr.responseText.split("\n");
|
adamc@729
|
474 if (lines.length < 2) {
|
adamc@729
|
475 discon();
|
adamc@729
|
476 return;
|
adamc@729
|
477 }
|
adamc@669
|
478
|
adamc@669
|
479 for (var i = 0; i+1 < lines.length; i += 2) {
|
adamc@670
|
480 var chn = lines[i];
|
adamc@670
|
481 var msg = lines[i+1];
|
adamc@670
|
482
|
adamc@670
|
483 if (chn < 0)
|
adamc@670
|
484 whine("Out-of-bounds channel in message from remote server");
|
adamc@670
|
485
|
adamc@670
|
486 var ch;
|
adamc@670
|
487
|
adamc@670
|
488 if (chn >= channels.length || channels[chn] == null) {
|
adamc@670
|
489 ch = newChannel();
|
adamc@670
|
490 channels[chn] = ch;
|
adamc@670
|
491 } else
|
adamc@670
|
492 ch = channels[chn];
|
adamc@670
|
493
|
adamc@670
|
494 var listener = dequeue(ch.listeners);
|
adamc@670
|
495 if (listener == null) {
|
adamc@670
|
496 enqueue(ch.msgs, msg);
|
adamc@670
|
497 } else {
|
adamc@728
|
498 try {
|
adamc@728
|
499 listener(msg);
|
adamc@728
|
500 } catch (v) {
|
adamc@728
|
501 doExn(v);
|
adamc@728
|
502 }
|
adamc@670
|
503 }
|
adamc@669
|
504 }
|
adamc@669
|
505
|
adamc@673
|
506 connect();
|
adamc@668
|
507 }
|
adamc@667
|
508 else {
|
adamc@729
|
509 try {
|
adamc@736
|
510 servErr("Error querying remote server for messages: " + xhr.status);
|
adamc@736
|
511 } catch (e) { servErr("Error querying remote server for messages"); }
|
adamc@667
|
512 }
|
adamc@667
|
513 }
|
adamc@667
|
514 };
|
adamc@667
|
515
|
adamc@673
|
516 onTimeout = function() {
|
adamc@673
|
517 xhr.abort();
|
adamc@673
|
518 connect();
|
adamc@673
|
519 };
|
adamc@673
|
520
|
adamc@673
|
521 connect();
|
adamc@667
|
522 }
|
adamc@670
|
523
|
adamc@670
|
524 function rv(chn, parse, k) {
|
adamc@682
|
525 if (chn == null)
|
adamc@682
|
526 return;
|
adamc@682
|
527
|
adamc@670
|
528 if (chn < 0)
|
adamc@670
|
529 whine("Out-of-bounds channel receive");
|
adamc@670
|
530
|
adamc@670
|
531 var ch;
|
adamc@670
|
532
|
adamc@670
|
533 if (chn >= channels.length || channels[chn] == null) {
|
adamc@670
|
534 ch = newChannel();
|
adamc@670
|
535 channels[chn] = ch;
|
adamc@670
|
536 } else
|
adamc@670
|
537 ch = channels[chn];
|
adamc@670
|
538
|
adamc@670
|
539 var msg = dequeue(ch.msgs);
|
adamc@670
|
540 if (msg == null) {
|
adamc@670
|
541 enqueue(ch.listeners, function(msg) { k(parse(msg))(null); });
|
adamc@670
|
542 } else {
|
adamc@728
|
543 try {
|
adamc@728
|
544 k(parse(msg))(null);
|
adamc@728
|
545 } catch (v) {
|
adamc@728
|
546 doExn(v);
|
adamc@728
|
547 }
|
adamc@670
|
548 }
|
adamc@670
|
549 }
|
adamc@693
|
550
|
adamc@693
|
551
|
adamc@693
|
552 // App-specific code
|
adamc@693
|
553
|