Python set_current_sessionの例

コード例 #1

ファイル: core.py プロジェクト: zielmicha/init.xyz

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)

コード例 #2

ファイル: core.py プロジェクト: zielmicha/init.xyz

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)