Mercurial > urweb
diff src/compiler.sml @ 1335:79557535b843
-prefix command-line option
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 12 Dec 2010 10:44:19 -0500 |
parents | 4dd5d23bace2 |
children | 7eefe077075a |
line wrap: on
line diff
--- a/src/compiler.sml Sun Dec 12 10:35:04 2010 -0500 +++ b/src/compiler.sml Sun Dec 12 10:44:19 2010 -0500 @@ -445,7 +445,7 @@ readSources acc end - val prefix = ref NONE + val prefix = ref (case Settings.getUrlPrefix () of "/" => NONE | s => SOME s) val database = ref (Settings.getDbstring ()) val exe = ref (Settings.getExe ()) val sql = ref (Settings.getSql ())