webmcp
annotate framework/env/trace/enter_config.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 | 0bbfee4d4aed |
| children |
| rev | line source |
|---|---|
| jbe/bsw@0 | 1 --[[-- |
| jbe/bsw@0 | 2 trace.enter_config{ |
| jbe/bsw@0 | 3 name = name |
| jbe/bsw@0 | 4 } |
| jbe/bsw@0 | 5 |
| jbe/bsw@0 | 6 This function is used by execute.config and logs the inclusion of a configuration. |
| jbe/bsw@0 | 7 |
| jbe/bsw@0 | 8 --]]-- |
| jbe/bsw@0 | 9 |
| jbe/bsw@0 | 10 function trace.enter_config(args) |
| jbe@41 | 11 if not trace._disabled then |
| jbe@41 | 12 local name = args.name |
| jbe@41 | 13 if type(name) ~= "string" then |
| jbe@41 | 14 error("No name string passed to trace.enter_config{...}.") |
| jbe@41 | 15 end |
| jbe@41 | 16 trace._open_section{ type = "config", name = name } |
| jbe/bsw@0 | 17 end |
| jbe/bsw@0 | 18 end |