From 2627ab6f5cfd96df06016a88b7e5a245e3ab9d8f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 22 Mar 2009 15:05:07 -0400 Subject: First message send delivered, but not interpreted --- src/rpcify.sml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/rpcify.sml') diff --git a/src/rpcify.sml b/src/rpcify.sml index f4db3444..1212b81e 100644 --- a/src/rpcify.sml +++ b/src/rpcify.sml @@ -50,7 +50,10 @@ val ssBasis = SS.addList (SS.empty, ["requestHeader", "query", "dml", - "nextval"]) + "nextval", + "new_channel", + "subscribe", + "send"]) val csBasis = SS.addList (SS.empty, ["source", -- cgit v1.2.3