diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2019-01-20 17:07:54 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2019-01-20 17:07:54 -0500 |
| commit | 38a20fdb9619e33ea989e171d98777cb3d7c6bc5 (patch) | |
| tree | 48b7a742ba543c06024ca5fd7efd47b2813636cd | |
| parent | 4ada57be570bfbe18137c5b37ed5e0d327de82db (diff) | |
getenv is benign
| -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 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", |