summaryrefslogtreecommitdiff
path: root/src/settings.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2019-01-20 17:07:54 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2019-01-20 17:07:54 -0500
commit38a20fdb9619e33ea989e171d98777cb3d7c6bc5 (patch)
tree48b7a742ba543c06024ca5fd7efd47b2813636cd /src/settings.sml
parent4ada57be570bfbe18137c5b37ed5e0d327de82db (diff)
getenv is benign
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 f42df135..0fea73e8 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",