comparison src/settings.sml @ 779:7394368a5cad

cookieSec demo
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 May 2009 15:38:49 -0400
parents c125df6fabfc
children 83875a9eb9b8
comparison
equal deleted inserted replaced
778:7b47fc964a0f 779:7394368a5cad
75 "bool"] 75 "bool"]
76 val clientToServer = ref clientToServerBase 76 val clientToServer = ref clientToServerBase
77 fun setClientToServer ls = clientToServer := S.addList (clientToServerBase, ls) 77 fun setClientToServer ls = clientToServer := S.addList (clientToServerBase, ls)
78 fun mayClientToServer x = S.member (!clientToServer, x) 78 fun mayClientToServer x = S.member (!clientToServer, x)
79 79
80 val effectfulBase = basis ["set_cookie", 80 val effectfulBase = basis ["dml",
81 "nextval",
82 "set_cookie",
81 "new_client_source", 83 "new_client_source",
82 "get_client_source", 84 "get_client_source",
83 "set_client_source", 85 "set_client_source",
84 "alert", 86 "alert",
85 "new_channel", 87 "new_channel",