Cannot change Remote port number

[GoogleCodeExporter]

What steps will reproduce the problem?
1.Go Into profile settings
2.change port
3. switch to a different menu item.
4. Switch back to Basic Settings

What is the expected output? What do you see instead?
The port should remain set to what you configured it as.


What version of the product are you using? On what operating system?

Using latest version on market. Android ICS 4.0.3


Please provide any additional information below.

Would love to use this for my VPN needs, however my VPN server uses a different 
port and am unable to try this out as the port will not change.

Original issue reported on code.google.com by [email protected] on 10 May 2012 at 11:11

[GoogleCodeExporter]

Are you using a tablet? Try the following set the port hit the back button, 
exiting the dialog, using the back button (two times back on a phone) so you 
get to main menu. Then go back and check if the port has been set. If this is 
working I might an idea where bug is. 

Original comment by [email protected] on 10 May 2012 at 11:23

[GoogleCodeExporter]

You're a genius my friend! Did as you suggested, instead of continuing on to my 
configuration, using back to close the dialog and coming back in the port 
setting was persisted correctly.

Yes this was on an Asus Transformer TF300T.

Thanks again!

Original comment by [email protected] on 10 May 2012 at 11:48

[GoogleCodeExporter]

Original comment by [email protected] on 11 May 2012 at 8:00

• Changed state: Accepted
• Added labels: Priority-Low
• Removed labels: Priority-Medium

[GoogleCodeExporter]

This issue was closed by revision 3379e7e7368a.

Original comment by [email protected] on 12 May 2012 at 11:17

• Changed state: Fixed