summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2015-02-05 11:09:25 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2015-02-05 11:09:25 -0500
commit71fa9d9a6104440875ddb722b6260541f3d5eb5d (patch)
treeb7492fb8c8110e053e9ae179a3579d1707627a63 /src
parentd7e343ce4dbd94cc4fbf9ac663019acdac27d671 (diff)
Treat getHeader and getenv as vectors for reading request data supplied implicitly by browsers
Diffstat (limited to 'src')
-rw-r--r--src/effectize.sml2
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