comparison src/rpcify.sml @ 668:b0c1a46b1f15

First message send delivered, but not interpreted
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Mar 2009 15:05:07 -0400
parents bab524996fca
children f73913d97a40
comparison
equal deleted inserted replaced
667:a93d5324f400 668:b0c1a46b1f15
48 48
49 val ssBasis = SS.addList (SS.empty, 49 val ssBasis = SS.addList (SS.empty,
50 ["requestHeader", 50 ["requestHeader",
51 "query", 51 "query",
52 "dml", 52 "dml",
53 "nextval"]) 53 "nextval",
54 "new_channel",
55 "subscribe",
56 "send"])
54 57
55 val csBasis = SS.addList (SS.empty, 58 val csBasis = SS.addList (SS.empty,
56 ["source", 59 ["source",
57 "get", 60 "get",
58 "set", 61 "set",