Mercurial > urweb
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 |