webmcp
diff framework/env/trace/enter_config.lua @ 0:9fdfb27f8e67
Version 1.0.0
author | jbe/bsw |
---|---|
date | Sun Oct 25 12:00:00 2009 +0100 (2009-10-25) |
parents | |
children | 0bbfee4d4aed |
line diff
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/framework/env/trace/enter_config.lua Sun Oct 25 12:00:00 2009 +0100 1.3 @@ -0,0 +1,16 @@ 1.4 +--[[-- 1.5 +trace.enter_config{ 1.6 + name = name 1.7 +} 1.8 + 1.9 +This function is used by execute.config and logs the inclusion of a configuration. 1.10 + 1.11 +--]]-- 1.12 + 1.13 +function trace.enter_config(args) 1.14 + local name = args.name 1.15 + if type(name) ~= "string" then 1.16 + error("No name string passed to trace.enter_config{...}.") 1.17 + end 1.18 + trace._open_section{ type = "config", name = name } 1.19 +end