comparison src/settings.sml @ 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
484 484
485 val safeGet = ref SS.empty 485 val safeGet = ref SS.empty
486 fun setSafeGets ls = safeGet := SS.addList (SS.empty, ls) 486 fun setSafeGets ls = safeGet := SS.addList (SS.empty, ls)
487 fun isSafeGet x = SS.member (!safeGet, x) 487 fun isSafeGet x = SS.member (!safeGet, x)
488 488
489 val onError = ref (NONE : (string * string list * string) option)
490 fun setOnError x = onError := x
491 fun getOnError () = !onError
492
489 end 493 end