Current status of Vaadin 7 + Spring Boot + @Push?

Hello everyone,

I have a question about
Vaadin
,
Spring Boot
and
@Push
. What is the current “state of the art”? Which push modes are supported, which aren’t, what problems are to be expected? Did any of this change when "
Vaadin4Spring
" became an
official add-on
? Will
Vaadin 7.5
change any of that?

The thing is, Vaadin, Spring Boot, Spring Security and Atmosphere don’t seem to like each other very much. We are currently using it, but we experience quite some unpleasant "
hickups
" - clients not receiving updates, browser windows that did not respond until F5 was pressed, JavaScript complaining about “no such element” and syntax errors…

I’d be grateful for any information about this topic.

Martin