summaryrefslogtreecommitdiff
path: root/src/settings.sml
diff options
context:
space:
mode:
authorGravatar Artyom Shalkhakov <artyom.shalkhakov@gmail.com>2019-01-27 15:51:22 +0200
committerGravatar Artyom Shalkhakov <artyom.shalkhakov@gmail.com>2019-01-27 15:51:22 +0200
commitff20f86eb6e792b69c2b580444bd9b051aaf7752 (patch)
tree89d1547b919a722c20de85fdd60d4117e1af54a7 /src/settings.sml
parent726ff63ec6d084f2ef4d65b084ef204d5fcc5eb0 (diff)
parent28ab84cb7b09e23aa0ed014bf2ed1fda56fcefc1 (diff)
Merge branch 'master' of https://github.com/urweb/urweb into endpoints
Diffstat (limited to 'src/settings.sml')
-rw-r--r--src/settings.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/settings.sml b/src/settings.sml
index 0e999587..abb26f72 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -157,6 +157,7 @@ fun isEffectful ("Sqlcache", _) = true
fun addEffectful x = effectful := S.add (!effectful, x)
val benignBase = basis ["get_cookie",
+ "getenv",
"new_client_source",
"get_client_source",
"set_client_source",