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,903 Commits 95 Branches 39 Tags
edge
Commit Graph

6 Commits

Author SHA1 Message Date
Bob Plested
2aee07f59c Changed gpr files to call gnat12 2018-09-24 19:49:30 +02:00
Pascal Obry
4e4159335f Rename makefile to Makefile (GNU standard) 
This is also what GPS expects by default.

For O604-017.
 2015-06-16 17:20:29 +02:00
Pascal Obry
b7ab5d65fa Add support for signed server's key file. 
It is now possible to use a signed key file with AWS. In this case
a pass-phrase is requested to be able to start the HTTPS
session. This pass-phrase can be handed over to the server using
the Set_Password_Callback in AWS.Net.SSL.Certificate.

The HTTPS demo has been enhanced to demonstrate this.

Add corresponding regression test.

For 0202-018.
 2015-03-24 18:59:22 +01:00
Pascal Obry
edbe641e9b Minor code clean-up. 2015-02-11 22:23:18 +01:00
Pascal Obry
fdfbeaded9 Add auto-configuration of the priority string on GNUTLS. 
When the priority string is empty it is set depending on the
protocol version set in Security_Mode. This allows better
compatibility with the OpenSSL mode.

Motivated by O202-018.
 2015-02-11 20:56:53 +01:00
Pascal Obry
4401144e90 Add HTTPS demo. 
This demo ways to select a specific protocol like TLS 1.2 and enforce
it as the only allowed protocol.

Motivated by O202-018.
 2015-02-11 20:56:53 +01:00