Mercurial > urweb
diff src/compiler.sml @ 1483:ebc30bb262d0
For non-debug builds, leave out source location info in what is shown to user
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 03 Jul 2011 12:40:00 -0400 |
parents | a10d080123ec |
children | 8c65218920cf |
line wrap: on
line diff
--- a/src/compiler.sml Tue Jun 28 08:07:20 2011 -0400 +++ b/src/compiler.sml Sun Jul 03 12:40:00 2011 -0400 @@ -324,7 +324,8 @@ | capitalize s = str (Char.toUpper (String.sub (s, 0))) ^ String.extract (s, 1, NONE) fun institutionalizeJob (job : job) = - (Settings.setUrlPrefix (#prefix job); + (Settings.setDebug (#debug job); + Settings.setUrlPrefix (#prefix job); Settings.setTimeout (#timeout job); Settings.setHeaders (#headers job); Settings.setScripts (#scripts job);