changeset 2112:b4702145f8de

Treat getHeader and getenv as vectors for reading request data supplied implicitly by browsers
author Adam Chlipala <adam@chlipala.net>
date Thu, 05 Feb 2015 11:09:25 -0500
parents 809bceab15a3
children dca8d91b4170
files src/effectize.sml
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/effectize.sml	Sun Feb 01 15:50:54 2015 -0500
+++ b/src/effectize.sml	Thu Feb 05 11:09:25 2015 -0500
@@ -79,6 +79,8 @@
         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