Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface RemoteServer

Description of a remote server that has been created.

since

6.5

Hierarchy

  • RemoteServer

Index

Properties

connectionOptions

connectionOptions: ConnectionOptions

Options used for connection to the remote server.

Optional missingTopicNotificationFilter

missingTopicNotificationFilter: undefined | string

The missing topic notification filter expression or undefined if one has not been specified.

name

name: string

The name of the remote server.

principal

principal: string

The principal used for connection to the remote server.

url

url: string

The url used for connection to the remote server.