From 4a2ab9017b96d97aa2edab33913c42c9b435fb8b Mon Sep 17 00:00:00 2001 From: elmot Date: Tue, 29 Dec 2015 17:47:51 +0200 Subject: Fixed language mistakes Change-Id: I838fccb573166791bf7fdcd9bc292dd9a4ae810c --- documentation/advanced/advanced-push.asciidoc | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'documentation/advanced/advanced-push.asciidoc') diff --git a/documentation/advanced/advanced-push.asciidoc b/documentation/advanced/advanced-push.asciidoc index f81900ce3b..365e674a50 100644 --- a/documentation/advanced/advanced-push.asciidoc +++ b/documentation/advanced/advanced-push.asciidoc @@ -88,8 +88,8 @@ You can use server push in two modes: [literal]#++automatic++# and automatically after access() finishes. With the manual mode, you can do the push explicitly with [methodname]#push()#, which allows more flexibility. -Sever push can use several transports - WebSockets, long polling, or combined WebSockets+XHR. -Default is [literal]#++WebSockets++#. +Sever push can use several transports: WebSockets, long polling, or combined WebSockets+XHR. +[literal]#++WebSockets++# is the default transport. [[advanced.push.enabling.pushmode]] @@ -115,9 +115,7 @@ parameter as follows: public class PushyUI extends UI { ---- -To use the long polling transport, you need to set the [parameter]#Transport.LONG_POLLING# -parameter as follows: - +To use the long polling transport, you need to set the transport parameter as [parameter]#Transport.LONG_POLLING# as follows: [source, java] ---- -- cgit v1.2.3