]> source.dussan.org Git - vaadin-framework.git/commit
projects / vaadin-framework.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f4add9) | patch
Make UI.pushConnection transient to prevent null resource after deserialization ...
authorJohannes Dahlström <johannesd@vaadin.com>
Wed, 5 Jun 2013 13:20:27 +0000 (16:20 +0300)
committerVaadin Code Review <review@vaadin.com>
Thu, 6 Jun 2013 16:20:06 +0000 (16:20 +0000)
commit8eb567eb3e0650fcbaa7296e6ff4e42e8000e4ce
tree5fe29982bab70caaf8b8217397510b1d325ba9fetree | snapshot
parent8f4add90a7b6c851d26114b946a5a36470004b2fcommit | diff
Make UI.pushConnection transient to prevent null resource after deserialization (#11809)

* PushConnection is not Serializable anymore
* AtmospherePushConnection fields are not transient
* UI.setSession calls setPushConnection(null) instead of pushConnection.disconnect()
* pushConnection.disconnect() asserts isConnected()
* If UI has a push connection, it should now always have isConnected() == true

Change-Id: I3c2e877b8e723b7cc2993cacd620920aecdef5fb
server/src/com/vaadin/server/communication/AtmospherePushConnection.java diff | blob | history
server/src/com/vaadin/server/communication/PushConnection.java diff | blob | history
server/src/com/vaadin/server/communication/PushHandler.java diff | blob | history
server/src/com/vaadin/ui/UI.java diff | blob | history
Vaadin 6, 7, 8 is a Java framework for modern Java web applications: https://github.com/vaadin/framework