webmcp: a29c8ffb3f82 framework/env/trace/_close

webmcp

New function ui.filters{...}

Also changed version information to "1.0.8"

line source

1 function trace._close_section()

2 local pos = #trace._stack

3 local closed_section = trace._stack[pos]

4 if not closed_section then

5 error("All trace sections have been closed already.")

6 end

7 trace._stack[pos] = nil

8 return closed_section