Mercurial > urweb
diff src/settings.sml @ 2172:3b4a5604ed97
Beautify '-h' output for web servers
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 20 Aug 2015 15:11:40 -0400 |
parents | a159625975a7 |
children | 74c762002352 c05851bf7861 |
line wrap: on
line diff
--- a/src/settings.sml Wed Aug 19 10:53:18 2015 -0400 +++ b/src/settings.sml Thu Aug 20 15:11:40 2015 -0400 @@ -883,7 +883,7 @@ if path' = path then () else - ErrorMsg.error ("Two different files requested for URI " ^ Uri) + ErrorMsg.error ("Two different files requested for URI " ^ Uri ^ " ( " ^ path' ^ " vs. " ^ path ^ ")") | NONE => let val inf = BinIO.openIn path