Mercurial > urweb
changeset 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 | 52043ad66ce7 |
files | src/effectize.sml |
diffstat | 1 files changed, 2 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- a/src/effectize.sml Wed Jul 17 10:40:13 2013 -0400 +++ b/src/effectize.sml Wed Jul 17 10:48:31 2013 -0400 @@ -160,8 +160,8 @@ if Settings.isSafeGet s then () else - ErrorMsg.errorAt loc ("A handler (" ^ s - ^ ") accessible via GET could cause side effects; try accessing it only via forms or removing it from the signature of the main program module"); + ErrorMsg.errorAt loc ("A handler (URI prefix \"" ^ s + ^ "\") 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"); ((DExport (Link, n, IM.inDomain (pushers, n)), #2 d), evs)) | DExport (Action _, n, _) => ((DExport (Action (if IM.inDomain (writers, n) then