Mercurial > urweb

comparison src/settings.sml @ 2172:3b4a5604ed97

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
2171:7187068f56f5 2172:3b4a5604ed97
881 case SM.find (!files, Uri) of 881 case SM.find (!files, Uri) of
882 SOME (path', _) => 882 SOME (path', _) =>
883 if path' = path then 883 if path' = path then
884 () 884 ()
885 else 885 else
886 ErrorMsg.error ("Two different files requested for URI " ^ Uri) 886 ErrorMsg.error ("Two different files requested for URI " ^ Uri ^ " ( " ^ path' ^ " vs. " ^ path ^ ")")
887 | NONE => 887 | NONE =>
888 let 888 let
889 val inf = BinIO.openIn path 889 val inf = BinIO.openIn path
890 in 890 in
891 files := SM.insert (!files, 891 files := SM.insert (!files,