Mercurial > urweb

comparison src/compiler.sml @ 1335:79557535b843

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
-prefix command-line option
author Adam Chlipala <adam@chlipala.net>
date Sun, 12 Dec 2010 10:44:19 -0500
parents 4dd5d23bace2
children 7eefe077075a
comparison
equal deleted inserted replaced
1334:a1aa62b472cf 1335:79557535b843
443 end 443 end
444 in 444 in
445 readSources acc 445 readSources acc
446 end 446 end
447 447
448 val prefix = ref NONE 448 val prefix = ref (case Settings.getUrlPrefix () of "/" => NONE | s => SOME s)
449 val database = ref (Settings.getDbstring ()) 449 val database = ref (Settings.getDbstring ())
450 val exe = ref (Settings.getExe ()) 450 val exe = ref (Settings.getExe ())
451 val sql = ref (Settings.getSql ()) 451 val sql = ref (Settings.getSql ())
452 val debug = ref (Settings.getDebug ()) 452 val debug = ref (Settings.getDebug ())
453 val profile = ref false 453 val profile = ref false