私はvaadinの初心者です。いくつか質問があります:
Vaadin 7以降のバージョンはWebSocketをサポートしていますか?
Vaadinには、サーバーからクライアント(WebSocketなど)にデータをプッシュするなどの他の機能がありますか?
VaadinはAtmosphereをサポートしているので、GoogleでWebSocketを有効にするプラグインを入手してください。
サーバープッシュは、数週間後にVaadin7.1に搭載される主な機能です。現在のステータスと関連するブログ投稿については、ロードマップを参照してください。
Vaadin 7.1より前のサーバープッシュ用に最もダウンロードされたアドオンはICEPushですが、アドオンディレクトリで他の代替手段も見つけることができます。
jfarcand(Atmosphereの作成者)とLuddによる他の回答は両方とも正しかったが、現在は時代遅れになっている。
Vaadin 7.3.7(2015-01現在)にAtmosphereライブラリが組み込まれるようになりました。Atmosphereは、 Pushの組み込みサポートを提供します。jar、ライブラリ、プラグイン、アドオンを追加する必要はありません。Vaadin Pushは、最初にWebSocketテクノロジーの使用を試みます。利用できない場合、VaadinPushは他のアプローチにフォールバックします。
3つの簡単なステップ:
@Push
UIサブクラスに注釈を追加しますScheduledExecutorService
て、アプリのデータをバックグラウンドで更新します。ServletContextListener
Vaadin Webアプリが起動およびシャットダウンするときに、と呼ばれるでエグゼキュータサービスを開始および停止するのがおそらく最善です。手順2の代わりに、あるユーザーのメインユーザーインターフェイススレッドで別のユーザーの表示を更新したい場合があります。基本的に同じ考えで、BookOfVaadinで取り上げられています。
サーバープッシュの詳細については、The BookOfVaadinのセクション11.16を参照してください。
2015-01に、Vaadin 7でのプッシュの最小限の例についてこの回答MyUI
を投稿しました。単一のファイルのコンテンツをコピーして、新しいデフォルトのVaadinプロジェクトのクラスのコンテンツを置き換えることができます。