webmcp
view framework/env/trace/enter_config.lua @ 118:92d9218140f7
Cleanup of Makefile.options; Removed wrong escape character in framework/bin/langtool.lua
| author | jbe |
|---|---|
| date | Thu Jul 10 00:32:08 2014 +0200 (2014-07-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