*
* @since 7.1
*/
private void refresh(ApplicationConnection connection) {
clear();
ApplicationConfiguration configuration = connection.getConfiguration();
addVersionInfo(configuration);
addRow("Widget set", GWT.getModuleName());
addRow("Theme", connection.getUIConnector().getActiveTheme());
String communicationMethodInfo = connection
.getCommunicationMethodName();
int pollInterval = connection.getUIConnector().getState().pollInterval;
if (pollInterval > 0) {
communicationMethodInfo += " (poll interval " + pollInterval
+ "ms)";
}
addRow("Communication method", communicationMethodInfo);
String heartBeatInfo;
if (configuration.getHeartbeatInterval() < 0) {
heartBeatInfo = "Disabled";
} else {
heartBeatInfo = configuration.getHeartbeatInterval() + "s";
}
addRow("Heartbeat", heartBeatInfo);
}