[AWS] (solved) AWS.Server.Push : CONSTRAINT_ERROR, Too big message

[Pascal Obry]

David,

> While investigating in aws-server-push.adb [1] there are two different
> hard coded values that define the size of two Stream_Element_Array,
> 8_192 (aws-server-push.adb:1812) and 8_196 (aws-server-push.adb:1235),
> 
> It seems that an unique constant of value 8_192 corresponding to 8
> KBytes could be used instead.

I do not know really well this part of the code. Dmitriy does!

> I set those two buffers length to 500 KBytes (using the same constant)
> and it solved my issue.

And if both are set to 8_192, is it working?

> If increasing this buffer is the good way to solve this issue, I would
> suggest this constant to be a generic parameter, without any default
> value so that the user will be aware of this limitation. 

Probably, but this guessing seems hard if the problem is not really
understood. What you are proposing here is a workaround but It is not
clear to me where the problem is really! Any more hints?

Thanks,
Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|    http://www.obry.net  -  http://v2p.fr.eu.org
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver keys.gnupg.net --recv-key F949BD3B