# HG changeset patch
# User bsw
# Date 1427053135 -3600
# Node ID 2b2bc360aabc9966d143020bb6beca8d53e8f55c
# Parent  40db36b46958c9ca6229d8a99acc1fa3b4ddd3ec
Improved trace time output

diff -r 40db36b46958 -r 2b2bc360aabc framework/env/trace/_render_sub_tree.lua
--- a/framework/env/trace/_render_sub_tree.lua	Sun Mar 22 20:13:16 2015 +0100
+++ b/framework/env/trace/_render_sub_tree.lua	Sun Mar 22 20:38:55 2015 +0100
@@ -5,7 +5,7 @@
 local function format_triple(real_time, proc_time, db_time)
   if proc_time and db_time then
     return string.format(
-      "u=%.1f d=%.1f t=%.1f",
+      "u=%.1f, d=%.1f, t=%.1f",
       1000 * proc_time,
       1000 * db_time,
       1000 * real_time
@@ -48,7 +48,7 @@
       ' | ',
       '<span class="total_duration_label">total:</span>',
       ' ',
-      '<span class="total_duration">', format_triple(total_real_time, total_proc_time, total_db_time), '</span>',
+      '<span class="total_duration">', format_triple(total_real_time, total_proc_time, total_db_time), '&nbsp;ms</span>',
       '</div>'
     )
   end
@@ -209,7 +209,8 @@
     else
       slot.put(encode.html(node.command))
     end
-    slot.put(" (execution time: ", format_time(node.execution_time), ")")
+    slot.put(" ")
+    slot.put('<span class="trace_sql_time">', format_time(node.execution_time), "</span>")
     close();
   elseif node_type == "error" then
     open("error")