Mercurial > urweb
comparison src/settings.sig @ 1294:b4480a56cab7
Server-side 'onError'
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 07 Sep 2010 08:28:07 -0400 |
parents | acabf3935060 |
children | d2ad997ca157 |
comparison
equal
deleted
inserted
replaced
1293:acabf3935060 | 1294:b4480a56cab7 |
---|---|
204 | 204 |
205 (* Which GET-able functions should be allowed to have side effects? *) | 205 (* Which GET-able functions should be allowed to have side effects? *) |
206 val setSafeGets : string list -> unit | 206 val setSafeGets : string list -> unit |
207 val isSafeGet : string -> bool | 207 val isSafeGet : string -> bool |
208 | 208 |
209 val setOnError : (string * string list * string) option -> unit | |
210 val getOnError : unit -> (string * string list * string) option | |
209 end | 211 end |