diff options
| author |  Ziv Scully <ziv@mit.edu> | 2014-11-29 04:34:41 -0500 |
|---|---|---|
| committer | Ziv Scully <ziv@mit.edu> | 2014-11-29 04:34:41 -0500 |
| commit | 219524359a25417b9e140130ab77a9a330c41012 (patch) | |
| tree | a40ae14f63bd4772aaf43838eca541062ceb0de0 /src/cjr_print.sml | |
| parent | dd7c117bda5f84bfb45aeaf3da14f1dee60e7867 (diff) | |
Remove Sqlcache urlification hack.
Diffstat (limited to 'src/cjr_print.sml')
| -rw-r--r-- | src/cjr_print.sml | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/src/cjr_print.sml b/src/cjr_print.sml index 81dfefaa..73e0316d 100644 --- a/src/cjr_print.sml +++ b/src/cjr_print.sml @@ -3394,7 +3394,6 @@ fun p_file env (ds, ps) = newline, (* For sqlcache. *) - (* TODO: also record between Cache.check and Cache.store. *) box (List.map (fn {index, params} => let val i = Int.toString index @@ -3440,14 +3439,16 @@ fun p_file env (ds, ps) = string i, string "(uw_context ctx", string args, - string ") {\n puts(\"SQLCACHE: checked ", - string i, - string ".\");\n if (cacheQuery", + string ") {\n if (cacheQuery", string i, (* ASK: is returning the pointer okay? Should we duplicate? *) string " == NULL", string eqs, - string ") {\n puts(\"miss D:\");\n uw_recordingStart(ctx);\n return NULL;\n } else {\n puts(\"hit :D\");\n uw_write(ctx, cacheWrite", + string ") {\n puts(\"SQLCACHE: miss ", + string i, + string ".\");\n uw_recordingStart(ctx);\n return NULL;\n } else {\n puts(\"SQLCACHE: hit ", + string i, + string ".\");\n uw_write(ctx, cacheWrite", string i, string ");\n return cacheQuery", string i, @@ -3473,7 +3474,7 @@ fun p_file env (ds, ps) = newline, string sets, newline, - string "puts(\"SQLCACHE: stored ", + string "puts(\"SQLCACHE: store ", string i, string ".\");\n return uw_unit_v;\n };", newline, @@ -3489,11 +3490,11 @@ fun p_file env (ds, ps) = string i, string ");\n cacheQuery", string i, - string " = NULL;\n puts(\"SQLCACHE: flushed ", + string " = NULL;\n puts(\"SQLCACHE: flush ", string i, - string ".\");}\n else { puts(\"SQLCACHE: keeping ", + string ".\");}\n else { puts(\"SQLCACHE: keep ", string i, - string "\"); } return uw_unit_v;\n };", + string ".\"); } return uw_unit_v;\n };", newline, newline] end) |