When size of gzipped stream is few bytes more than multiple of
Read_Buffer_Size stream creation parameter, the end of stream can be
detected only after last empty read. To fix that we should try to read
and inflate ahead.
TN: U727-039
TC01-031
Raise exception when there was no Z_STREAM_END return code and there is no
input data and there is no output data and Flush = Finish. This way the
error will be detected not only in Read but also in Write and
Generic_Translate routines.
Test improved to detect end-of-stream error even if only one byte removed
from the end of file.
When no more data are read from the stream and there is no more
to be read we make sure we exit the loop in Read to avoid an
infinite loop. This happens when reading a set of bytes for a
multi-byte type.
Add corresponding regression test.
For TC01-031.
This patch does not apply the common style flags to include/*, it only
allow explicit user flags (ADAFLAGS) to override default flags.
The External is in shared.gpr so that there is only one environment
lookup for each variable.
ZLib-Ada original repository ssh://git.code.sf.net/p/zlib-ada/git
was accepted all AWS modifications and returns one back to AWS here.
At this stage include/zlib?* files absolutely equal to zlib-ada
sources after commit 4b89ae14ca71f8584f8202b8f9bf8874f26431a9.
* po/send-socket-set:
Add support for sending WebSocket messages without blocking.
Add support for memory socket.
Add support for sending the same data to a Socket_Set.
Add new routine Pending in Memory_Stream.
Minor style fixes.
The Gzip footer is an 8 bytes array. The first four bytes are for the
CRC and the last four bytes are the total size of the uncompressed
data modulo 2 ** 32.
For OB15-006.
