# HG changeset patch
# User jbe
# Date 1427046934 -3600
# Node ID fe9ea7a03364aa5751c493f797b68feea79790cc
# Parent  704908dcd85e27873785eeb02e3de97266d6faff
Store execution time in trace.sql{...}

diff -r 704908dcd85e -r fe9ea7a03364 framework/env/trace/sql.lua
--- a/framework/env/trace/sql.lua	Sun Mar 22 18:54:00 2015 +0100
+++ b/framework/env/trace/sql.lua	Sun Mar 22 18:55:34 2015 +0100
@@ -26,8 +26,9 @@
       error("error_position must be a number.")
     end
     trace._new_entry{
-      type = "sql",
-      command = command,
+      type           = "sql",
+      command        = command,
+      execution_time = execution_time,
       error_position = error_position
     }
   end