diff src/cjr_print.sml @ 2212:388ba4dc7c96

Small cleanup.
author Ziv Scully <ziv@mit.edu>
date Mon, 15 Sep 2014 20:01:16 -0400
parents ef766ef6e242
children 365727ff68f4
line wrap: on
line diff
--- a/src/cjr_print.sml	Sat Sep 13 19:16:07 2014 -0400
+++ b/src/cjr_print.sml	Mon Sep 15 20:01:16 2014 -0400
@@ -3393,7 +3393,7 @@
              newline,
              newline,
 
-             (* For caching. *)
+             (* For sqlcache. *)
              box (List.map
                       (fn index =>
                           let val i = Int.toString index
@@ -3403,19 +3403,21 @@
                                   newline,
                                   string "static uw_Basis_bool uw_Cache_check",
                                   string i,
-                                  string "(uw_context ctx) { puts(\"Checked cache ",
+                                  string "(uw_context ctx) { puts(\"SQLCACHE: checked ",
                                   string i,
                                   string ".\"); if (cache",
                                   string i,
                                   string " == NULL) { uw_recordingStart(ctx); return uw_Basis_False; } else { uw_write(ctx, cache",
                                   string i,
-                                  string "); return uw_Basis_True; } };",
+                                  string "); puts(\"SQLCACHE: used ",
+                                  string i,
+                                  string ".\"); return uw_Basis_True; } };",
                                   newline,
                                   string "static uw_unit uw_Cache_store",
                                   string i,
                                   string "(uw_context ctx) { cache",
                                   string i,
-                                  string " = uw_recordingRead(ctx); puts(\"Stored cache ",
+                                  string " = uw_recordingRead(ctx); puts(\"SQLCACHE: stored ",
                                   string i,
                                   string ".\"); return uw_unit_v; };",
                                   newline,
@@ -3425,7 +3427,7 @@
                                   string i,
                                   string "); cache",
                                   string i,
-                                  string " = NULL; puts(\"Flushed cache ",
+                                  string " = NULL; puts(\"SQLCACHE: flushed ",
                                   string i,
                                   string ".\"); return uw_unit_v; };",
                                   newline,
@@ -3564,7 +3566,7 @@
                                               newline,
                                               string ("uw_write_header(ctx, \"Content-Length: " ^ Int.toString (Word8Vector.length (#Bytes r)) ^ "\\r\\n\");"),
                                               newline,
-                                              string ("uw_write_header(ctx, \"Cache-Control: max-age=31536000, public\\r\\n\");"),                  
+                                              string ("uw_write_header(ctx, \"Cache-Control: max-age=31536000, public\\r\\n\");"),
                                               newline,
                                               string "uw_replace_page(ctx, \"",
                                               string (hexify (#Bytes r)),