From ced024484333175eb138454309a9b6396f5a1f09 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 14 Oct 2010 11:06:26 -0400
Subject: Interface for setting memory limits

---
 src/settings.sml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'src/settings.sml')

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
-- 
cgit v1.2.3