diff options
author | Johannes Dahlström <johannesd@vaadin.com> | 2014-05-02 18:29:42 +0300 |
---|---|---|
committer | Artur Signell <artur@vaadin.com> | 2014-05-08 17:36:22 +0000 |
commit | f21c10882e74ec58260cae289c4180c19ff8a816 (patch) | |
tree | efd2f091b72a04bc17cdf308539e1d2767f1a3a4 /client-compiled | |
parent | 3184af5ac142b81ee656f0d5ea84272ac7e0ded8 (diff) | |
download | vaadin-framework-f21c10882e74ec58260cae289c4180c19ff8a816.tar.gz vaadin-framework-f21c10882e74ec58260cae289c4180c19ff8a816.zip |
Fix improper merge of 3d0ff32b from 7.1 to master (#13620)
Correctly call PushConnection.disconnect instead of setting to null.
Also remove the obsolete PushHandler.disconnectCallback.
Change-Id: Ied055d489a269b016318947cd89cf0b46003c596
Diffstat (limited to 'client-compiled')
0 files changed, 0 insertions, 0 deletions