adam@1707: table boo : { Client : client, Channel : channel unit }
adam@1707:
adam@1707: fun doIt () =
adam@1707: me <- self;
adam@1707: ch <- channel;
adam@1707: dml (INSERT INTO boo (Client, Channel) VALUES ({[me]}, {[ch]}));
adam@1707: return
adam@1707:
adam@1707: task clientLeaves = fn cl =>
adam@1707: debug "Client left";
adam@1707: dml (DELETE FROM boo WHERE Client = {[cl]});
adam@1707: queryI (SELECT (boo.Channel)
adam@1707: FROM boo)
adam@1707: (fn r => send r.1 ());
adam@1707: debug "Done processing"
adam@1707:
adam@1707: fun main () = return
adam@1707:
adam@1707: