From ba6251ac268cede6fd79d56c38c336b7f65e051f Mon Sep 17 00:00:00 2001 From: Enver Haase Date: Mon, 29 Aug 2016 23:21:58 +0300 Subject: Mention vaadin-push in getting-started Change-Id: Ic46254b77d1226c2a00ed1ad2b2f96a452a4609a --- documentation/getting-started/getting-started-libraries.asciidoc | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'documentation/getting-started') 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. -- cgit v1.2.3