Method RemoveSession

src/frontend/cortex_debug_session.ts:82–91

(session: vscode.DebugSession)

    }

    public static RemoveSession(session: vscode.DebugSession) {
        const s = CDebugSession.FindSession(session);
        if (s) {
            s.status = 'exited';
            s.remove();
            CDebugSession.CurrentSessions = CDebugSession.CurrentSessions.filter((s) => s.session.id !== session.id);
        } else {
            console.error(`Where did session ${session.id} go?`);
        }
    }

    public static FindSession(session: vscode.DebugSession) {
        return CDebugSession.FindSessionById(session.id);