diff options
author | Fabian Lange <lange.fabian@gmail.com> | 2014-07-11 23:43:03 +0200 |
---|---|---|
committer | Fabian Lange <lange.fabian@gmail.com> | 2014-07-14 10:52:24 +0200 |
commit | 9e4bdca5322e211c2988a2138340d9841c46a6ad (patch) | |
tree | 99b33d42f86fabba4d323b5853e00850b67ed102 /server/src/com/vaadin/util | |
parent | 6f468c84413ac7d25458dfedc3766665c7d9cd32 (diff) | |
download | vaadin-framework-9e4bdca5322e211c2988a2138340d9841c46a6ad.tar.gz vaadin-framework-9e4bdca5322e211c2988a2138340d9841c46a6ad.zip |
removes extra VaadinSession.setCurrent() from PushHandler. (#14222)
The setCurrent call on VaadinSession is not needed. the one extra call
can be saved because service.findVaadinSession will already set it.
Added a comment like it is done for UI (service.findUI will also set the
UI).
Change-Id: Ic24d922554d1316aae310813ef5d00a0bbfd418a
Diffstat (limited to 'server/src/com/vaadin/util')
0 files changed, 0 insertions, 0 deletions