From f996ddede8ad8df6a6b475185b5384366f0dd6c9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 2 May 2009 12:10:43 -0400
Subject: More FFI compiler options

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

(limited to 'src/settings.sml')

diff --git a/src/settings.sml b/src/settings.sml
index b022219d..9e619b54 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -30,6 +30,7 @@ structure Settings :> SETTINGS = struct
 val urlPrefix = ref "/"
 val timeout = ref 0
 val headers = ref ([] : string list)
+val scripts = ref ([] : string list)
 
 fun getUrlPrefix () = !urlPrefix
 fun setUrlPrefix p =
@@ -46,6 +47,9 @@ fun setTimeout n = timeout := n
 fun getHeaders () = !headers
 fun setHeaders ls = headers := ls
 
+fun getScripts () = !scripts
+fun setScripts ls = scripts := ls
+
 type ffi = string * string
 
 structure K = struct
-- 
cgit v1.2.3