# HG changeset patch
# User jbe
# Date 1427051814 -3600
# Node ID a7e4f552f8a5a8275a6dca8dcb8d8c95a36e7ad0
# Parent  40db36b46958c9ca6229d8a99acc1fa3b4ddd3ec
Added commas to time-triple output of trace system

diff -r 40db36b46958 -r a7e4f552f8a5 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:16:54 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