Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/core
common/message-rpc/channel
ChannelCloseEvent
Interface ChannelCloseEvent
The event that is emitted when a channel is closed from the remote side.
interface
ChannelCloseEvent
{
code
?:
number
;
reason
:
string
;
}
Index
Properties
code?
reason
Properties
Optional
code
code
?:
number
reason
reason
:
string
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
code
reason
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...
The event that is emitted when a channel is closed from the remote side.