def conf_merger(user_dict, variable):
if variable not in globals().keys():<EOL><INDENT>raise NameError("<STR_LIT>" % variable)<EOL><DEDENT>if variable not in user_dict:<EOL><INDENT>return globals()[variable]<EOL><DEDENT>return globals()[variable] and user_dict[variable]<EOL>
Merge global configuration with user's personal configuration.

Global configuration has always higher priority.