diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-02-05 11:09:25 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-02-05 11:09:25 -0500 |
| commit | e6cde67688b37f4246bed7938dee06a1e9a7ab20 (patch) | |
| tree | b7492fb8c8110e053e9ae179a3579d1707627a63 /src/effectize.sml | |
| parent | 9d277854b9a4fb3ac30bea989c10d7f550e960b4 (diff) | |
Treat getHeader and getenv as vectors for reading request data supplied implicitly by browsers
Diffstat (limited to 'src/effectize.sml')
| -rw-r--r-- | src/effectize.sml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/effectize.sml b/src/effectize.sml index d711e620..2c9b2374 100644 --- a/src/effectize.sml +++ b/src/effectize.sml @@ -79,6 +79,8 @@ fun effectize file = fun exp evs e = case e of EFfi ("Basis", "getCookie") => true + | EFfiApp ("Basis", "getHeader", _) => true + | EFfiApp ("Basis", "getenv", _) => true | ENamed n => IM.inDomain (evs, n) | EServerCall (n, _, _, _) => IM.inDomain (evs, n) | _ => false |