diff src/cjrize.sml @ 116:c5d7ce9ddd57

Basic web server
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 13:38:23 -0400
parents 2d6116de9cca
children 6230bdd122e7
line wrap: on
line diff
--- a/src/cjrize.sml	Sun Jul 13 12:56:39 2008 -0400
+++ b/src/cjrize.sml	Sun Jul 13 13:38:23 2008 -0400
@@ -184,7 +184,7 @@
         in
             (SOME (d, loc), NONE, sm)
         end
-      | L.DExport n => (NONE, SOME n, sm)
+      | L.DExport (s, n) => (NONE, SOME ("/" ^ s, n), sm)
 
 fun cjrize ds =
     let