void set_config_variables(mapping vars)
sets available configuration substitution variables, in addition to the standard values of "host", "pid" and "user".
Tools.Logging.set_config_file()