diff options
Diffstat (limited to 'client')
-rw-r--r-- | client/src/com/vaadin/terminal/gwt/client/ApplicationConfiguration.java | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/client/src/com/vaadin/terminal/gwt/client/ApplicationConfiguration.java b/client/src/com/vaadin/terminal/gwt/client/ApplicationConfiguration.java index eea60b04ea..c3bf3f8b44 100644 --- a/client/src/com/vaadin/terminal/gwt/client/ApplicationConfiguration.java +++ b/client/src/com/vaadin/terminal/gwt/client/ApplicationConfiguration.java @@ -204,6 +204,7 @@ public class ApplicationConfiguration implements EntryPoint { private ErrorMessage communicationError; private ErrorMessage authorizationError; private boolean useDebugIdInDom = true; + private int heartbeatInterval; private HashMap<Integer, String> unknownComponents; @@ -289,6 +290,10 @@ public class ApplicationConfiguration implements EntryPoint { return rootId; } + public int getHeartbeatInterval() { + return heartbeatInterval; + } + public JavaScriptObject getVersionInfoJSObject() { return getJsoConfiguration(id).getVersionInfoJSObject(); } @@ -319,6 +324,9 @@ public class ApplicationConfiguration implements EntryPoint { // null -> false standalone = jsoConfiguration.getConfigBoolean("standalone") == Boolean.TRUE; + heartbeatInterval = jsoConfiguration + .getConfigInteger("heartbeatInterval"); + communicationError = jsoConfiguration.getConfigError("comErrMsg"); authorizationError = jsoConfiguration.getConfigError("authErrMsg"); |