jbe/bsw@0: --[[--
jbe/bsw@0: trace.enter_config{
jbe/bsw@0:   name = name 
jbe/bsw@0: }
jbe/bsw@0: 
jbe/bsw@0: This function is used by execute.config and logs the inclusion of a configuration.
jbe/bsw@0: 
jbe/bsw@0: --]]--
jbe/bsw@0: 
jbe/bsw@0: function trace.enter_config(args)
jbe@41:   if not trace._disabled then
jbe@41:     local name = args.name
jbe@41:     if type(name) ~= "string" then
jbe@41:       error("No name string passed to trace.enter_config{...}.")
jbe@41:     end
jbe@41:     trace._open_section{ type = "config", name = name }
jbe/bsw@0:   end
jbe/bsw@0: end