diff options
author | Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2019-01-12 16:20:14 +0200 |
---|---|---|
committer | Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2019-01-12 16:20:14 +0200 |
commit | ba1871b3b9cc669c43420f993719690b45326e2f (patch) | |
tree | db204c53b57326b23014674b90f7ac21d80a3430 /src/settings.sml | |
parent | db68fd7f8dd17fda410ea06e7076e11ee2c57afc (diff) |
Including app.js in output of endpoints
Diffstat (limited to 'src/settings.sml')
-rw-r--r-- | src/settings.sml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/settings.sml b/src/settings.sml index f42df135..0e999587 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -703,6 +703,10 @@ val sql = ref (NONE : string option) fun setSql so = sql := so fun getSql () = !sql +val endpoints = ref (NONE : string option) +fun setEndpoints so = endpoints := so +fun getEndpoints () = !endpoints + val coreInline = ref 5 fun setCoreInline n = coreInline := n fun getCoreInline () = !coreInline @@ -729,7 +733,7 @@ fun getSigFile () = !sigFile val fileCache = ref (NONE : string option) fun setFileCache v = - (if Option.isSome v andalso (case #supportsSHA512 (currentDbms ()) of NONE => true + (if Option.isSome v andalso (case #supportsSHA512 (currentDbms ()) of NONE => true | SOME _ => false) then ErrorMsg.error "The selected database engine is incompatible with file caching." else @@ -1007,6 +1011,7 @@ fun reset () = dbstring := NONE; exe := NONE; sql := NONE; + endpoints := NONE; coreInline := 5; monoInline := 5; staticLinking := false; |