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: