Custom DNS does not work

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Define custom DNS settings
2. Connect to VPN
3. Try to use DNS server

What is the expected output? What do you see instead?
I expect that my mobile phone will use the custom DNS servers but the system 
still uses the original DNS servers.

What version of the product are you using?
0.5.6

Which Android phone are you using?
4.0.3

Which firmware version are you using?
Stock-ROM of Samsung Galaxy S2

Please provide any additional information below.

Settings:
[...]
route-nopull
route 10.0.0.0 255.0.0.0
dhcp-option DNS 4.4.4.4
dhcp-option DNS 8.8.8.8

Log-File:

P:Options error: option 'route' cannot be used in this context
P:Options error: option 'redirect-gateway' cannot be used in this context
P:Options error: option 'dhcp-option' cannot be used in this context

[...]

Building configration...
P:OpenVPN 2.3_alpha1 arm-linux-androideabi [SSL (OpenSSL)] [LZO] [EPOLL] [MH] 
[PF_INET6] [IPv6 payload 20110522-1 (2.2.0)] built on May 21 2012
P:WARNING: Make sure you understand the semantics of --tls-remote before using 
it (see the man page).
P:NOTE: OpenVPN 2.1 requires '--script-security 2' or higher to call 
user-defined scripts or executables

[...]

P:Options error: option 'route' cannot be used in this context
P:Options error: option 'redirect-gateway' cannot be used in this context
P:Options error: option 'dhcp-option' cannot be used in this context

Original issue reported on code.google.com by aklitz...@gmail.com on 31 May 2012 at 9:52

[GoogleCodeExporter]

oh, well..... close this bug report. I added it to the wrong project. ;-)

Original comment by aklitz...@gmail.com on 31 May 2012 at 10:00