vaadin8 的@push 有没有设置时间的方法,类似setTimeOut()之类的

有没有设置push的超时时间长一点的方法?

push 默认是试用websocket,应该是没有时间限制的