Method killTimer

src/frontend/views/live-watch.ts:494–500

()

    }

    private killTimer() {
        if (this.timeout) {
            // console.error('Killing Timer');
            clearTimeout(this.timeout);
            this.timeout = undefined;
        }
    }

    public debugSessionTerminated(session: vscode.DebugSession) {
        if (this.isSameSession(session)) {