blob: 0ee3f8f738415b4d67e058953d32927582d5f85f (
plain)
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
|
table channels : { Client : client, Channel : channel (string * int * float) }
PRIMARY KEY Client
table dearlyDeparted : { Client : option client, When : time }
task clientLeaves = fn cli : client =>
dml (INSERT INTO dearlyDeparted (Client, When) VALUES ({[Some cli]}, CURRENT_TIMESTAMP));
debug "Our favorite client has LEFT!"
fun writeBack v =
me <- self;
r <- oneRow (SELECT channels.Channel FROM channels WHERE channels.Client = {[me]});
send r.Channels.Channel v
fun main' () =
me <- self;
ch <- channel;
dml (INSERT INTO channels (Client, Channel) VALUES ({[me]}, {[ch]}));
buf <- Buffer.create;
let
fun receiverA () =
v <- recv ch;
Buffer.write buf ("A:(" ^ v.1 ^ ", " ^ show v.2 ^ ", " ^ show v.3 ^ ")");
receiverA ()
fun receiverB () =
v <- recv ch;
Buffer.write buf ("B:(" ^ v.1 ^ ", " ^ show v.2 ^ ", " ^ show v.3 ^ ")");
error <xml>Bail out!</xml>;
receiverB ()
fun sender s n f =
sleep 2000;
rpc (writeBack (s, n, f));
sender (s ^ "!") (n + 1) (f + 1.23)
in
return <xml><body onload={onDisconnect (alert "Server booted me");
onConnectFail (alert "Connection failed");
onServerError (fn s => alert ("Server error: " ^ s));
spawn (receiverA ()); spawn (receiverB ()); sender "" 0 0.0}>
<dyn signal={Buffer.render buf}/>
</body></xml>
end
fun main () = return <xml><body><form><submit action={main'}/></form></body></xml>
|
