mirror of
https://github.com/AdaCore/aws.git
synced 2026-02-12 12:29:46 -08:00
The communication server is used as a mean of passing information between the main and hotplug server. This internal server had no mean to be setup using .ini files and so no way to set reuse_address as an example. First the default aws.ini is now used by the communication server and a newly introduced communication.ini is read if present as a second step. TN: eng/toolchain/aws#112