webmcp: f0303fca9218 framework/env/trace/_open

webmcp

Decode some JSON numbers (those without decimal point or exponential notation) as Lua integers

line source

1 function trace._open_section(node)

2 local node = trace._new_entry(node)

3 node.section = true

4 node.db_time = 0

5 node.start_real_time = extos.monotonic_hires_time()

6 node.start_proc_time = os.clock()

7 local stack = trace._stack

8 stack[#stack+1] = node

9 return node