diff options
| author | elmot <elmot@vaadin.com> | 2015-12-29 17:47:51 +0200 |
|---|---|---|
| committer | Vaadin Code Review <review@vaadin.com> | 2016-04-28 13:22:04 +0000 |
| commit | 4a2ab9017b96d97aa2edab33913c42c9b435fb8b (patch) | |
| tree | 73412ab6f51226b4aabcae7d77bf58e73d192bd6 /documentation/advanced | |
| parent | 20f012cb6998ed276c333eab67f8b7227df23b12 (diff) | |
| download | vaadin-framework-4a2ab9017b96d97aa2edab33913c42c9b435fb8b.tar.gz vaadin-framework-4a2ab9017b96d97aa2edab33913c42c9b435fb8b.zip | |
Fixed language mistakes
Change-Id: I838fccb573166791bf7fdcd9bc292dd9a4ae810c
Diffstat (limited to 'documentation/advanced')
| -rw-r--r-- | documentation/advanced/advanced-push.asciidoc | 8 |
1 files changed, 3 insertions, 5 deletions
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] ---- |