Mercurial > urweb

comparison src/effectize.sml @ 1860:d54984564bcd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Make that error message even more helpful
author Adam Chlipala <adam@chlipala.net>
date Wed, 17 Jul 2013 10:48:31 -0400
parents 38399d67a914
children 6745eafff617
comparison
equal deleted inserted replaced
1859:38399d67a914 1860:d54984564bcd
158 NONE => () 158 NONE => ()
159 | SOME (loc, s) => 159 | SOME (loc, s) =>
160 if Settings.isSafeGet s then 160 if Settings.isSafeGet s then
161 () 161 ()
162 else 162 else
163 ErrorMsg.errorAt loc ("A handler (" ^ s 163 ErrorMsg.errorAt loc ("A handler (URI prefix \"" ^ s
164 ^ ") accessible via GET could cause side effects; try accessing it only via forms or removing it from the signature of the main program module"); 164 ^ "\") accessible via GET could cause side effects; try accessing it only via forms, removing it from the signature of the main program module, or whitelisting it with the 'safeGet' .urp directive");
165 ((DExport (Link, n, IM.inDomain (pushers, n)), #2 d), evs)) 165 ((DExport (Link, n, IM.inDomain (pushers, n)), #2 d), evs))
166 | DExport (Action _, n, _) => 166 | DExport (Action _, n, _) =>
167 ((DExport (Action (if IM.inDomain (writers, n) then 167 ((DExport (Action (if IM.inDomain (writers, n) then
168 if IM.inDomain (readers, n) then 168 if IM.inDomain (readers, n) then
169 ReadCookieWrite 169 ReadCookieWrite