Tobias Brunner
94cb3b4ddd
Some users requests something like that to use different server IPs. Interestingly, it's actually also possible to configure multiple hostnames/IPs, separated by commas, as server address in the profile, which are then tried one after another. It's also useful when testing stuff to quickly compare the behavior with some setting changed between two otherwise identical profiles.