diff options
author | Leif Åstrand <leif@vaadin.com> | 2013-04-22 13:19:31 +0300 |
---|---|---|
committer | Vaadin Code Review <review@vaadin.com> | 2013-04-22 12:10:27 +0000 |
commit | 2c46baf7206d3735d737b8bda08596abe2fd649b (patch) | |
tree | 2deeed465c161a545af052c1e49bb09e2343cf51 /client/src/com/vaadin/Vaadin.gwt.xml | |
parent | 3cf35ba23128490994c9fa4a2f6d4475ceea932a (diff) | |
download | vaadin-framework-2c46baf7206d3735d737b8bda08596abe2fd649b.tar.gz vaadin-framework-2c46baf7206d3735d737b8bda08596abe2fd649b.zip |
Add PushConnection interface (#11655)
* Add PushConnection interface and rename old class to
AtmospherePushConnection
* Define deferred binding to use AtmospherePushConnection by default
* Redesign connection and disconnection workflow to better cope with
situations where connection is quickly toggled
Change-Id: I9b9427c2df40d446a25895eb39e7b166cb929a85
Diffstat (limited to 'client/src/com/vaadin/Vaadin.gwt.xml')
-rw-r--r-- | client/src/com/vaadin/Vaadin.gwt.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/client/src/com/vaadin/Vaadin.gwt.xml b/client/src/com/vaadin/Vaadin.gwt.xml index 11197bffc5..6529743503 100644 --- a/client/src/com/vaadin/Vaadin.gwt.xml +++ b/client/src/com/vaadin/Vaadin.gwt.xml @@ -39,6 +39,10 @@ class="com.vaadin.client.metadata.ConnectorBundleLoader" /> </generate-with> + <replace-with class="com.vaadin.client.communication.AtmospherePushConnection"> + <when-type-is class="com.vaadin.client.communication.PushConnection" /> + </replace-with> + <!-- Set vaadin.profiler to true to include profiling support in the module --> <define-property name="vaadin.profiler" values="true,false" /> <set-property name="vaadin.profiler" value="false" /> |