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