Mercurial > urweb
comparison src/effectize.sml @ 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 | 6745eafff617 |
children |
comparison
equal
deleted
inserted
replaced
2111:809bceab15a3 | 2112:b4702145f8de |
---|---|
77 exp = exp writers readers pushers} | 77 exp = exp writers readers pushers} |
78 | 78 |
79 fun exp evs e = | 79 fun exp evs e = |
80 case e of | 80 case e of |
81 EFfi ("Basis", "getCookie") => true | 81 EFfi ("Basis", "getCookie") => true |
82 | EFfiApp ("Basis", "getHeader", _) => true | |
83 | EFfiApp ("Basis", "getenv", _) => true | |
82 | ENamed n => IM.inDomain (evs, n) | 84 | ENamed n => IM.inDomain (evs, n) |
83 | EServerCall (n, _, _, _) => IM.inDomain (evs, n) | 85 | EServerCall (n, _, _, _) => IM.inDomain (evs, n) |
84 | _ => false | 86 | _ => false |
85 | 87 |
86 fun couldReadCookie evs = U.Exp.exists {kind = fn _ => false, | 88 fun couldReadCookie evs = U.Exp.exists {kind = fn _ => false, |