Theia API Documentation v1.65.0
    Preparing search index...
    interface ResolvedConnectionErrorHandlerOptions {
        logger: ILogger;
        maxErrors: number;
        maxRestarts: number;
        restartInterval: number;
        serverName: string;
    }
    Index

    Properties

    logger: ILogger
    maxErrors: number

    The maximum amount of errors allowed before stopping the server.

    maxRestarts: number

    The minimum amount of restarts allowed in the restart interval.

    restartInterval: number

    In minutes.

    serverName: string