]> source.dussan.org Git - vaadin-framework.git/commit
Don't actively disconnect when the client already has disconnected (#15330)
authorArtur Signell <artur@vaadin.com>
Wed, 25 Feb 2015 20:15:28 +0000 (22:15 +0200)
committerVaadin Code Review <review@vaadin.com>
Mon, 2 Mar 2015 10:30:18 +0000 (10:30 +0000)
commit049b9888619409c410d9356566815c7732dbbbe7
tree23985f90cbb70a50d5fdb5ade6fca2aeb56c212d
parent6c3f8f5feef72851274e2e2d9d1fdebfd1295d0e
Don't actively disconnect when the client already has disconnected (#15330)

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