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

Other Languages 中文讨论区 (Discussion in Chinese)
1

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

2

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