Mercurial > urweb
comparison src/effectize.sml @ 1860:d54984564bcd
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 |