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

    This class manages the channels for remote services in the back end.

    Since we have the ability to use a remote back end via SSH, we need to distinguish between two types of services: those that will be redirected to the remote back end and those which must remain in the local back end. For example the service that manages the remote ssh connections and port forwarding to the remote instance must remain local while e.g. the file system service will run in the remote back end. For each set of services, we will bind an instance of this class to LocalConnectionProvider and RemoteConnectionProvider respectively.

    Hierarchy (View Summary)

    Index

    Constructors

    Properties

    channelHandlers: Map<string, ServiceConnectionProvider.ConnectionHandler> = ...
    channelMultiplexer: ChannelMultiplexer
    connectionSource: ConnectionSource

    Accessors

    Methods