public interface PushConnection extends Serializable
PushConnection
instance is bound to a UI as
long as push is enabled in that UI, even if the actual connection is
momentarily dropped either due to a network failure or as a normal part of
the transport mechanism.
This interface is an internal API, only meant to be used by the framework. May be renamed or removed in a future release.
Modifier and Type | Method and Description |
---|---|
void |
disconnect()
Closes the connection.
|
boolean |
isConnected()
Returns whether this connection is currently open.
|
void |
push()
Pushes pending state changes and client RPC calls to the client.
|
void push()
isConnected()
is false; the push will be deferred
until a connection is available. It is NOT safe to invoke this method if
not holding the session lock.
This is internal API; please use UI.push()
instead.
void disconnect()
isConnected()
is
false.boolean isConnected()
Copyright © 2021. All rights reserved.