diff options
| author | Enver Haase <enver@vaadin.com> | 2016-08-29 23:21:58 +0300 |
|---|---|---|
| committer | Artur Signell <artur@vaadin.com> | 2016-08-29 23:22:41 +0300 |
| commit | ba6251ac268cede6fd79d56c38c336b7f65e051f (patch) | |
| tree | 0ce194fc20a009bd9aab15251e5501b824e56e96 /documentation/getting-started | |
| parent | 22ea7ea1f4068db7c0fc160fceb37d0b59610f69 (diff) | |
| download | vaadin-framework-ba6251ac268cede6fd79d56c38c336b7f65e051f.tar.gz vaadin-framework-ba6251ac268cede6fd79d56c38c336b7f65e051f.zip | |
Mention vaadin-push in getting-started
Change-Id: Ic46254b77d1226c2a00ed1ad2b2f96a452a4609a
Diffstat (limited to 'documentation/getting-started')
| -rw-r--r-- | documentation/getting-started/getting-started-libraries.asciidoc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/documentation/getting-started/getting-started-libraries.asciidoc b/documentation/getting-started/getting-started-libraries.asciidoc index 3ff27b8acb..7e9f2ac899 100644 --- a/documentation/getting-started/getting-started-libraries.asciidoc +++ b/documentation/getting-started/getting-started-libraries.asciidoc @@ -44,6 +44,10 @@ This library is not needed if you compile the application widget set with the Va Vaadin built-in themes both as SCSS source files and precompiled CSS files. The library is required both for basic use with CSS themes and for compiling custom Sass themes. +[filename]#vaadin-push-8.x.x.jar#:: +The implementation of server push for Vaadin. +This is needed for web applications which use server push (e.g. using the @Push annotation in a Servlet class). + Some of the libraries depend on each other as well as on the dependency libraries provided in the [filename]#lib# folder of the installation package, especially the [filename]#lib/vaadin-shared-deps.jar#. The different ways to install the libraries are described in the subsequent sections. |