I want to push a DNS server to the client where the DNS server isn't on port 53, how do I specify the alternative port? I've tried: [code]dhcp-option DNS 1.2.3.4:5353[/code] But that was ignored by the client. The client is Android using the OpenVPN client in case that matters.

Specify DNS port

I want to push a DNS server to the client where the DNS server isn't on port 53, how do I specify the alternative port?

I've tried:

dhcp-option DNS 1.2.3.4:5353

But that was ignored by the client.

The client is Android using the OpenVPN client in case that matters.