Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/src/settings.sig Sun Sep 05 14:00:57 2010 -0400 +++ b/src/settings.sig Tue Sep 07 08:28:07 2010 -0400 @@ -206,4 +206,6 @@ val setSafeGets : string list -> unit val isSafeGet : string -> bool + val setOnError : (string * string list * string) option -> unit + val getOnError : unit -> (string * string list * string) option end