comparison src/settings.sml @ 1050:93315ac00394

More fun with cookies
author Adam Chlipala <adamc@hcoop.net>
date Thu, 26 Nov 2009 14:20:00 -0500
parents 065ce3252090
children eaba663fd6aa
comparison
equal deleted inserted replaced
1049:c2317cfb99ec 1050:93315ac00394
78 fun mayClientToServer x = S.member (!clientToServer, x) 78 fun mayClientToServer x = S.member (!clientToServer, x)
79 79
80 val effectfulBase = basis ["dml", 80 val effectfulBase = basis ["dml",
81 "nextval", 81 "nextval",
82 "set_cookie", 82 "set_cookie",
83 "clear_cookie",
83 "new_client_source", 84 "new_client_source",
84 "get_client_source", 85 "get_client_source",
85 "set_client_source", 86 "set_client_source",
86 "current", 87 "current",
87 "alert", 88 "alert",