]> source.dussan.org Git - vaadin-framework.git/commit
Use "\0" instead of "|" as a push message delimiter (#11692)
authorJohannes Dahlström <johannesd@vaadin.com>
Mon, 20 May 2013 12:08:48 +0000 (15:08 +0300)
committerVaadin Code Review <review@vaadin.com>
Tue, 21 May 2013 07:35:04 +0000 (07:35 +0000)
commit42c4b2097bc955ca18107c449e04f0d5d5683ca3
tree2b441ac94efff0b0b4671d3b673d208efdf4b8b9
parent2772641acf8f84046e3ac42c8386b65e4f2346f2
Use "\0" instead of "|" as a push message delimiter (#11692)

Used with TrackMessageSizeInterceptor and with client-to-server Websocket message splitting (see #11648)

The original issue that the delimiter can not appear in the message (unescaped) is apparently fixed in Atmosphere 1.0.13

Also ensure the max size of a websocket fragment in bytes does not exceed the buffer size (#11842)

Change-Id: I768524bb54a5b8b9479dc7bda821256bd843dc52
client/src/com/vaadin/client/communication/AtmospherePushConnection.java
server/src/com/vaadin/server/communication/AtmospherePushConnection.java
server/src/com/vaadin/server/communication/PushRequestHandler.java
shared/src/com/vaadin/shared/ApplicationConstants.java
shared/src/com/vaadin/shared/communication/PushConstants.java [new file with mode: 0644]