webmcp
annotate framework/env/trace/render.lua @ 428:52ebde158c92
Fixed minor glitch regarding floating point numbers (e.g. 0.009) in JSON encoder; Distinguish between integers and floats in JSON encoder if Lua version >= 5.3
| author | jbe | 
|---|---|
| date | Thu Jan 14 17:40:49 2016 +0100 (2016-01-14) | 
| parents | 0bbfee4d4aed | 
| children | 
| rev | line source | 
|---|---|
| jbe/bsw@0 | 1 --[[-- | 
| jbe/bsw@0 | 2 trace.render() | 
| jbe/bsw@0 | 3 | 
| jbe/bsw@0 | 4 This function renders a trace log and writes it into the active slot. | 
| jbe/bsw@0 | 5 | 
| jbe/bsw@0 | 6 --]]-- | 
| jbe/bsw@0 | 7 | 
| jbe/bsw@0 | 8 function trace.render() | 
| jbe@41 | 9 if not trace._disabled then | 
| jbe@41 | 10 -- TODO: check if all sections are closed? | 
| jbe@41 | 11 trace._render_sub_tree(trace._tree) | 
| jbe@41 | 12 end | 
| jbe/bsw@0 | 13 end |