Mercurial > urweb

changeset 2112:b4702145f8de

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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