summaryrefslogtreecommitdiff
path: root/src/settings.sml
diff options
context:
space:
mode:
authorGravatar Artyom Shalkhakov <artyom.shalkhakov@gmail.com>2017-03-07 13:47:55 +0000
committerGravatar Artyom Shalkhakov <artyom.shalkhakov@gmail.com>2017-03-07 13:47:55 +0000
commitbfc7faaf3b8cdff7ca6baec6b3358aef531eb9e2 (patch)
treef0b93d51b82fc11f75bdeb2ae991b74c057d74c8 /src/settings.sml
parent5c7051419520ca3449649dbfc68e755b45cde0f1 (diff)
Adding support for emitting JS to a given file.
Diffstat (limited to 'src/settings.sml')
-rw-r--r--src/settings.sml7
1 files changed, 6 insertions, 1 deletions
diff --git a/src/settings.sml b/src/settings.sml
index 70ea1861..9fdc2232 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -951,6 +951,10 @@ fun addJsFile LoadFromFilename =
fun listJsFiles () = SM.listItems (!jsFiles)
+val jsOutput = ref (NONE : string option)
+fun setOutputJsFile so = jsOutput := so
+fun getOutputJsFile () = !jsOutput
+
fun reset () =
(Globals.setResetTime ();
urlPrefixFull := "/";
@@ -996,6 +1000,7 @@ fun reset () =
mimeTypes := NONE;
files := SM.empty;
jsFiles := SM.empty;
- filePath := ".")
+ filePath := ".";
+ jsOutput := NONE)
end