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