def reload(silent): global SILENT SILENT = silent info("Reloading configuration") chdir(xyzconfigdir) current_session = Session() set_current_session(current_session) execfile("init.py") current_session.end() set_current_session(None)
def execute_profile(name, filename, depth): session = Session(name, parent=get_current_session()) set_current_session(session) execfile(filename, depth=depth + 1) session.end() set_current_session(session.parent)