@eagleoutice/flowr - v2.10.2
    Preparing search index...

    Marks the end of the execution of the respective ExecuteRequestMessage. The underlying TCP connection should ensure the ordering so that this message is the last.

    interface ExecuteEndMessage {
        id: string | undefined;
        type: "end-repl-execution";
    }

    Hierarchy (View Summary)

    Hierarchy-Diagram

    UML class diagram of ExecuteEndMessage
    Index

    Properties

    Properties

    id: string | undefined

    The id that links a request with its responses, it is up to the calling client to make sure it is unique. However, the client does not have to pass the id if it does not need to link the request with its response. The id is always undefined if the message is unprompted (e.g., with hello) or the id unknown.

    type: "end-repl-execution"

    The at this time unknown type