# HG changeset patch
# User jbe
# Date 1427051596 -3600
# Node ID 40db36b46958c9ca6229d8a99acc1fa3b4ddd3ec
# Parent  a3da58aae6ce6f1b7cd89c3d58d7534464c47eb1
Bugfixes regarding time triples in trace._render_sub_tree(...)

diff -r a3da58aae6ce -r 40db36b46958 framework/env/trace/_render_sub_tree.lua
--- a/framework/env/trace/_render_sub_tree.lua	Sun Mar 22 20:09:40 2015 +0100
+++ b/framework/env/trace/_render_sub_tree.lua	Sun Mar 22 20:13:16 2015 +0100
@@ -6,8 +6,8 @@
   if proc_time and db_time then
     return string.format(
       "u=%.1f d=%.1f t=%.1f",
+      1000 * proc_time,
       1000 * db_time,
-      1000 * proc_time,
       1000 * real_time
     )
   else
@@ -44,11 +44,11 @@
       ' | ',
       '<span class="child_duration_label">children:</span>',
       ' ',
-      '<span class="child_duration">', format_triple(child_real_time, child_proc_time, db_time), '</span>',
+      '<span class="child_duration">', format_triple(child_real_time, child_proc_time, child_db_time), '</span>',
       ' | ',
       '<span class="total_duration_label">total:</span>',
       ' ',
-      '<span class="total_duration">', format_triple(total_real_time, total_proc_time, db_time), '</span>',
+      '<span class="total_duration">', format_triple(total_real_time, total_proc_time, total_db_time), '</span>',
       '</div>'
     )
   end