webmcp
annotate framework/env/trace/_close_section.lua @ 75:faedbc8615e0
Allow particular records to be selected and/or disabled in ui.field.select{...}, even if they share the same key, and never select more than one record
| author | jbe |
|---|---|
| date | Wed Jun 20 00:35:02 2012 +0200 (2012-06-20) |
| parents | 9fdfb27f8e67 |
| children | ca44dff90b4e |
| rev | line source |
|---|---|
| jbe/bsw@0 | 1 function trace._close_section() |
| jbe/bsw@0 | 2 local pos = #trace._stack |
| jbe/bsw@0 | 3 local closed_section = trace._stack[pos] |
| jbe/bsw@0 | 4 if not closed_section then |
| jbe/bsw@0 | 5 error("All trace sections have been closed already.") |
| jbe/bsw@0 | 6 end |
| jbe/bsw@0 | 7 trace._stack[pos] = nil |
| jbe/bsw@0 | 8 return closed_section |
| jbe/bsw@0 | 9 end |