diff options
Diffstat (limited to 'src/settings.sml')
-rw-r--r-- | src/settings.sml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/settings.sml b/src/settings.sml index 5da1a24e..4512b7d8 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -490,4 +490,16 @@ val onError = ref (NONE : (string * string list * string) option) fun setOnError x = onError := x fun getOnError () = !onError +val limits = ["messages", "clients", "headers", "page", "heap", "script", + "inputs", "subinputs", "cleanup", "deltas", "transactionals", + "globals", "database"] + +val limitsList = ref ([] : (string * int) list) +fun addLimit (v as (name, _)) = + if List.exists (fn name' => name' = name) limits then + limitsList := v :: !limitsList + else + raise Fail ("Unknown limit category '" ^ name ^ "'") +fun limits () = !limitsList + end |