[AWS] [aws-config-ini.adb] Clean config to avoid wrong configuration settings when using multiple servers.

[David SAUVAGE - AdaLabs Ltd]

Hello,

this patch (diff from aws-gpl-2012) to avoid wrong configuration
settings when using multiple AWS servers.

Cheers,

-- 
David SAUVAGE

Software Agile Architect, Director
AdaLabs Ltd - Mauritius
http://adalabs.com
+230 428 18 32
skype sauvaged
BRN C10097052
VAT 27035043

-------------- next part --------------
A non-text attachment was scrubbed...
Name: aor-clean_server_configs-aws-gpl-2012.patch
Type: text/x-patch
Size: 498 bytes
Desc: not available
URL: </pipermail/aws/attachments/20120813/1cef12e9/attachment.bin>