Fatal编程技术网
  • java/
  • Java 瓦丁推力在10内不工作（流量）

Java 瓦丁推力在10内不工作（流量）

java vaadin

Java 瓦丁推力在10内不工作（流量）,java,vaadin,vaadin8,vaadin-grid,vaadin10,Java,Vaadin,Vaadin8,Vaadin Grid,Vaadin10,在vaadin8中，我能够使用UI的access方法使用传入的websocket数据异步更新Grid，该方法锁定线程并执行更新，然后在客户端无需请求的情况下推送它们 access(() -> addMessage(message)); 我现在尝试使用vaadin 10，因为您开始使用的主类没有扩展UI，所以我尝试这样做： UI.getCurrent().access((Command) () -> addTrade(message)) 但是，它不起作用，您必须单击页面上的某个位置

在vaadin8中，我能够使用UI的
access
方法使用传入的websocket数据异步更新
Grid
，该方法锁定线程并执行更新，然后在客户端无需请求的情况下推送它们

access(() -> addMessage(message));
我现在尝试使用vaadin 10，因为您开始使用的主类没有扩展UI，所以我尝试这样做：

UI.getCurrent().access((Command) () -> addTrade(message))
但是，它不起作用，您必须单击页面上的某个位置才能进行更新。我在类上有
@Push
注释，因此我认为服务器推送应该可以工作。。非常感谢你们

在我的servlet中：

asyncSupported = true
也尝试了
此.getUI（）.get（）.access（）
，但仍没有更新。

这很可能是由于当前正在修复的问题造成的

票证还建议了一种解决方法：
grid.getElement（）.getNode（）.markAsDirty（）。如果解决方法解决了问题，那么很可能是由该bug引起的。如果没有，那么还有一些问题需要进一步调查。
就是这样，非常感谢！我做了
grid.getElement（）.getNode（）.markAsDirty（）调用刷新之前（在访问方法内部）