webmcp
view framework/env/trace/enter_config.lua @ 189:44344b4a52c1
Increase precision of exported floats to 16 decimal digits in json.export(...)
| author | jbe |
|---|---|
| date | Sun Aug 10 19:41:45 2014 +0200 (2014-08-10) |
| parents | 0bbfee4d4aed |
| children |
line source
1 --[[--
2 trace.enter_config{
3 name = name
4 }
6 This function is used by execute.config and logs the inclusion of a configuration.
8 --]]--
10 function trace.enter_config(args)
11 if not trace._disabled then
12 local name = args.name
13 if type(name) ~= "string" then
14 error("No name string passed to trace.enter_config{...}.")
15 end
16 trace._open_section{ type = "config", name = name }
17 end
18 end