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);