Method debugSessionTerminated

src/frontend/swo/core.ts:255–260

()

    protected webview: SWOWebview = null;

    public debugSessionTerminated() {
        if (this.webview) {
            const message: GrapherStatusMessage = { type: 'status', status: 'terminated' };
            this.webview.sendMessage(message);
        }
    }

    public debugStopped() {
        if (this.webview) {