diff src/cjr_print.sml @ 882:9c1b7e46eed2

MySQL CGI working
author Adam Chlipala <adamc@hcoop.net>
date Fri, 17 Jul 2009 12:58:37 -0400
parents 8e9f2d247dba
children 8f2159040bbb
line wrap: on
line diff
--- a/src/cjr_print.sml	Fri Jul 17 12:34:00 2009 -0400
+++ b/src/cjr_print.sml	Fri Jul 17 12:58:37 2009 -0400
@@ -2844,7 +2844,7 @@
                            end)
                        env ds
     in
-        box pps
+        box (string (#sqlPrefix (Settings.currentDbms ())) :: pps)
     end
 
 end