diff options
author | Johannes Dahlström <johannesd@vaadin.com> | 2014-01-22 15:29:25 +0200 |
---|---|---|
committer | Artur Signell <artur@vaadin.com> | 2014-01-31 09:21:19 +0000 |
commit | 3c5644c4a3e0484b7e65a2852d9cedeeab167419 (patch) | |
tree | 421bbbb28237c89ab439c36499a0a0663f72a0b5 /server/src/com/vaadin/ui/HorizontalSplitPanel.java | |
parent | f52c25fbb87d4c872304323d8ab42ba6d3ea0497 (diff) | |
download | vaadin-framework-3c5644c4a3e0484b7e65a2852d9cedeeab167419.tar.gz vaadin-framework-3c5644c4a3e0484b7e65a2852d9cedeeab167419.zip |
Refactor PushConnection handling (#13223)
UIs now always have a PushConnection object if push is enabled,
and push reconnections do not create and set a new instance.
PushConnection.push can always be called; it internally handles
deferring the push until (re)connection if it is currently
disconnected. This is very desirable when using long polling,
as it reconnects after each push.
Change-Id: I478748cc940da86f34a5f55266f6b325682d4585
Diffstat (limited to 'server/src/com/vaadin/ui/HorizontalSplitPanel.java')
0 files changed, 0 insertions, 0 deletions