Mercurial > urweb

comparison src/compiler.sml @ 1483:ebc30bb262d0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
1482:8314f1a309e7 1483:ebc30bb262d0
322 322
323 fun capitalize "" = "" 323 fun capitalize "" = ""
324 | capitalize s = str (Char.toUpper (String.sub (s, 0))) ^ String.extract (s, 1, NONE) 324 | capitalize s = str (Char.toUpper (String.sub (s, 0))) ^ String.extract (s, 1, NONE)
325 325
326 fun institutionalizeJob (job : job) = 326 fun institutionalizeJob (job : job) =
327 (Settings.setUrlPrefix (#prefix job); 327 (Settings.setDebug (#debug job);
328 Settings.setUrlPrefix (#prefix job);
328 Settings.setTimeout (#timeout job); 329 Settings.setTimeout (#timeout job);
329 Settings.setHeaders (#headers job); 330 Settings.setHeaders (#headers job);
330 Settings.setScripts (#scripts job); 331 Settings.setScripts (#scripts job);
331 Settings.setClientToServer (#clientToServer job); 332 Settings.setClientToServer (#clientToServer job);
332 Settings.setEffectful (#effectful job); 333 Settings.setEffectful (#effectful job);