@leanprover/infoview
    Preparing search index...

    Class RpcSessions

    Manages RPC sessions for multiple files.

    Index
    sessions: Map<string, RpcSessionForFile>

    Contains the active RpcSessionForFile objects. Once an RpcSessionForFile is set to failed (e.g. due to a server crash), it is removed from this map. The connect method will then automatically reconnect the next time it is called.

    • Returns void

    • Closes the session for the given URI.

      Parameters

      • uri: string

      Returns void

    • Returns void