Dear Simon,
server=//1.2.3.4 can be used to specify a server to be used for
unqualified names. However, if we want to combine this feature with
other domains, the server config option is parsed incorrectly.
A fix is attached.
---
Example 1:
> server=//192.168.2.1
> server=/fritz.box/192.168.2.1
Patch applied, thanks.
Cheers,
Simon.
On 20/08/2021 12:27, Dominik wrote:
> Dear Simon,
>
> server=//1.2.3.4 can be used to specify a server to be used for
> unqualified names. However, if we want to combine this feature with
> other domains, the server config option is parsed incorrectly.
>