diff options
author | Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2019-01-27 15:51:22 +0200 |
---|---|---|
committer | Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2019-01-27 15:51:22 +0200 |
commit | ff20f86eb6e792b69c2b580444bd9b051aaf7752 (patch) | |
tree | 89d1547b919a722c20de85fdd60d4117e1af54a7 /src/settings.sml | |
parent | 726ff63ec6d084f2ef4d65b084ef204d5fcc5eb0 (diff) | |
parent | 28ab84cb7b09e23aa0ed014bf2ed1fda56fcefc1 (diff) |
Merge branch 'master' of https://github.com/urweb/urweb into endpoints
Diffstat (limited to 'src/settings.sml')
-rw-r--r-- | src/settings.sml | 1 |
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", |