Theia API Documentation v1.65.0
    Preparing search index...

    Event sent when a task has concluded its execution

    interface TaskExitedEvent {
        code?: number;
        config?: TaskConfiguration;
        ctx?: string;
        processId?: number;
        signal?: string;
        taskId: number;
        terminalId?: number;
    }
    Index

    Properties

    code?: number

    Exactly one of code and signal will be set.

    ctx?: string
    processId?: number
    signal?: string
    taskId: number
    terminalId?: number