diff options
Diffstat (limited to 'server/src/com/vaadin/server/Constants.java')
| -rw-r--r-- | server/src/com/vaadin/server/Constants.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/server/src/com/vaadin/server/Constants.java b/server/src/com/vaadin/server/Constants.java index f516b4b9a6..60f7aa03d0 100644 --- a/server/src/com/vaadin/server/Constants.java +++ b/server/src/com/vaadin/server/Constants.java @@ -63,6 +63,7 @@ public interface Constants { static final String SERVLET_PARAMETER_RESOURCE_CACHE_TIME = "resourceCacheTime"; static final String SERVLET_PARAMETER_HEARTBEAT_RATE = "heartbeatRate"; static final String SERVLET_PARAMETER_CLOSE_IDLE_UIS = "closeIdleUIs"; + static final String SERVLET_PARAMETER_UI_PROVIDER = "UIProvider"; // Configurable parameter names static final String PARAMETER_VAADIN_RESOURCES = "Resources"; |