public class PushConfiguration extends Object
MessageSender.| Constructor and Description |
|---|
PushConfiguration(Registry registry)
Creates a new instance connected to the given registry.
|
| Modifier and Type | Method and Description |
|---|---|
JsMap<String,String> |
getParameters()
Gets all configured push parameters.
|
String |
getPushUrl()
Gets the push URL configured on the server.
|
boolean |
isAlwaysXhrToServer()
Checks if XHR should be used for client -> server messages even though
we are using a bidirectional push transport such as websockets.
|
boolean |
isPushEnabled()
Checks if push is enabled.
|
public PushConfiguration(Registry registry)
registry - the global registrypublic String getPushUrl()
public boolean isAlwaysXhrToServer()
public JsMap<String,String> getParameters()
public boolean isPushEnabled()
Copyright © 2000–2020 Vaadin Ltd. All rights reserved.