]> source.dussan.org Git - vaadin-framework.git/commit
Ensure browser does not re-use push connection after refresh (#14297, #14416)
authorArtur Signell <artur@vaadin.com>
Tue, 28 Apr 2015 20:50:19 +0000 (23:50 +0300)
committerVaadin Code Review <review@vaadin.com>
Tue, 5 May 2015 12:54:18 +0000 (12:54 +0000)
commit79c8c696c09b0a7cbe1f1863e6c7c165b2f5f19f
treebb134a9ecc600448cbd54e5629e37e5c8978d22e
parenta4544124c5f8fa70a70dfdf7dd4f511f53094069
Ensure browser does not re-use push connection after refresh (#14297, #14416)

Change-Id: I99748db0f00a6b2189f557fa05a145906a841efc
server/src/com/vaadin/server/communication/PushHandler.java