ada/aws
0
0
Fork 0
mirror of https://github.com/AdaCore/aws.git synced 2026-02-12 12:29:46 -08:00
Code Issues Packages Projects Releases Wiki Activity
11,504 Commits 95 Branches 39 Tags
fix-warn
Commit Graph

11504 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Dmitriy Anisimkov
d50f22a7be Fix warning 
no-tn-check

Use record name in constant to avoid
warning: component "SERVER" of type access to "HTTP" is uninitialized
 2021-10-06 17:55:12 +06:00
Pascal Obry
70133fec24 Merge branch 'po/fix-ws' 
* po/fix-ws:
  Remove duplicate calls to On_Close and Shutdown.
  Make Shutdown_Signal atomic.
  Minor reformatting.
 2021-10-06 09:56:01 +02:00
Pascal Obry
69a9eda7c1 Remove duplicate calls to On_Close and Shutdown. 
Both routines are called as part of WebSocket_Exception.

Continued work for U504-028.
 2021-10-06 09:10:00 +02:00
Pascal Obry
d50f0ab3f0 Make Shutdown_Signal atomic. 
This variable may be read/writen by different threads.

For U506-012.
 2021-10-06 09:10:00 +02:00
Pascal Obry
c82622b79d Minor reformatting. 2021-10-06 09:10:00 +02:00
Dmitriy Anisimkov
a2f6fc5040 Use shared pointers to avoid use memory after free 
TN: U504-028
 2021-10-05 17:04:37 +06:00
Dmitriy Anisimkov
ee2fb760d2 Minor reformat, refactoring, and fix comment 2021-10-05 17:04:37 +06:00
Pascal Obry
0c690935ae Remove tabulations and minor reformatting. 2021-10-04 17:26:19 +02:00
Pascal Obry
32feef9243 Prefix all wrapper routines with "__aws_" to avoid name clashes. 
Fix UA04-001.
 2021-10-04 17:26:19 +02:00
Pascal Obry
0da4e06bcf Merge branch 'po/client-http2' 
* po/client-http2:
  First implementation of the client GET/POST methods with HTTP/2.
  Minor code refactoring to prepare HTTP/2 client support.
  Add Append_Body version for a Response message.
  Add Append version for a Response message in Data frame.
  Add Create routine for a request message.
  Add support for retreiving the GoAway error code.
  Add support for Stream.Data_Fow to report current data direction.
  Minor code clean-up.
 2021-09-17 18:59:46 +02:00
Pascal Obry
243bc2bb80 First implementation of the client GET/POST methods with HTTP/2. 
Add corresponding regression test.

Part of S507-051.
 2021-09-17 07:48:42 +02:00
Pascal Obry
5fafdbfd73 Minor code refactoring to prepare HTTP/2 client support. 
Part of S507-051.
 2021-09-15 10:54:39 +02:00
Pascal Obry
898dbf7dcc Add Append_Body version for a Response message. 
Part of S507-051.
 2021-09-15 10:29:38 +02:00
Pascal Obry
4a239344e7 Add Append version for a Response message in Data frame. 
Part of S507-051.
 2021-09-15 10:29:38 +02:00
Pascal Obry
798a129b0b Add Create routine for a request message. 
Part of S507-051.
 2021-09-15 10:29:38 +02:00
Pascal Obry
bde5443a13 Add support for retreiving the GoAway error code. 
Part of S507-051.
 2021-09-15 10:29:38 +02:00
Pascal Obry
65d788bf2f Add support for Stream.Data_Fow to report current data direction. 
Part of S507-051.
 2021-09-15 10:29:38 +02:00
Pascal Obry
fcf61c47c0 Minor code clean-up. 
Add some Pre/Post conditions. Fix some comments.

Part of S507-051.
 2021-09-15 10:29:38 +02:00
Pascal Obry
0e5a740cb7 Specialized the output for rhES8 (same output on 32 & 64 bit). 
For U906-032.
 2021-09-10 08:01:20 +02:00
Pascal Obry
c0734a624f Specialized the output for rhES8 on x86-linux. 
For U906-032.
 2021-09-07 19:18:45 +02:00
Pascal Obry
ca2187f71c Remove gzip -k option as not available on old versions. 
And this option is not needed for passing the test.

Continued work for U727-039.
 2021-08-19 18:13:35 +02:00
Dmitriy Anisimkov
dd1511f6bd Fix context of request and responce 
The right context of the HTTP/2 request and responce is not in the TCP
connection but in the HTTP/2 stream.
To check this put 2 few megabites length files into web_elements directory,
run demos/wps executable, and then call

h2load https://127.0.0.1:4433/{big-file-1,big-file-2} -v -w 14 -m 2 -n 8

TN: S507-051
 2021-08-19 07:23:25 +06:00
Dmitriy Anisimkov
178767546d Detect end of ZLib stream better 
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
 2021-08-18 15:06:21 +06:00
Dmitriy Anisimkov
3f96ddbc23 Optimize HTTP/2 send message body 
Do not load all message body into memory.
Load data depend on frame window available.
Remove caching from AWS.Resources.Streams.Disk because it has error
detected by use in HTTP/2 and does not really need because streams
reading by big chunks usually.

Part of S507-051.
 2021-08-13 20:09:09 +06:00
Dmitriy Anisimkov
8b6821659b Refactor and optimize resources API 
To be able to use in HTTP2.
Remove unused AWS.HTTP2.Message routines.

Part of S507-051.
 2021-08-13 20:09:09 +06:00