diff options
Diffstat (limited to 'shared')
| -rw-r--r-- | shared/src/com/vaadin/shared/ui/ui/UIState.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/shared/src/com/vaadin/shared/ui/ui/UIState.java b/shared/src/com/vaadin/shared/ui/ui/UIState.java index 502aa81b76..7caa1c5fd8 100644 --- a/shared/src/com/vaadin/shared/ui/ui/UIState.java +++ b/shared/src/com/vaadin/shared/ui/ui/UIState.java @@ -116,6 +116,7 @@ public class UIState extends TabIndexState { public boolean alwaysUseXhrForServerRequests = false; public PushMode mode = PushMode.DISABLED; + public String pushUrl = null; public Map<String, String> parameters = new HashMap<String, String>(); { parameters |