Properly read heartbeat interval servlet parameter (#9987)

* Test that servlet parameters in general are read correctly

Change-Id: I4a015070e5ce03cff0fee10e037b4df2c3df8219

1 files changed, 20 insertions, 0 deletions

diff --git a/uitest/src/com/vaadin/tests/application/DeploymentConfigurationTest.java b/uitest/src/com/vaadin/tests/application/DeploymentConfigurationTest.java
new file mode 100644
index 0000000000..9c89254bd7
--- /dev/null
+++ b/uitest/src/com/vaadin/tests/application/DeploymentConfigurationTest.java
@@ -0,0 +1,20 @@
+package com.vaadin.tests.application;
+
+import java.util.Properties;
+
+import com.vaadin.server.VaadinRequest;
+import com.vaadin.ui.Label;
+import com.vaadin.ui.UI;
+
+public class DeploymentConfigurationTest extends UI {
+
+    @Override
+    protected void init(VaadinRequest request) {
+        Properties params = getSession().getConfiguration().getInitParameters();
+
+        for (Object key : params.keySet()) {
+            addComponent(new Label(key + ": "
+                    + params.getProperty((String) key)));
+        }
+    }
+}