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