39779 - Proxy port # not saved to prefs.js from preferences dialog

Status: VERIFIED FIXED

(SeaMonkey :: Preferences, defect, P3)

Description

[Tom Everingham]

Overview Description:  Proxy port numbers are not being added/or deleted from 
prefs.js when edited in the preferences dialog.  Proxy names are being saved 
correctly.

Steps to Reproduce:
1.)  Go to Preference | Advanced | Proxies 
2.)  Select the 'manual proxy configuration' radio button and edit a proxy name 
and port #
3.)  Select OK to save settings

Actual Results:  The port number is not saved to prefs.js file therefore 
making the proxy useless.

Expected Results:  The port # should be saved in prefs.js along with the server 
name as such:
user_pref("network.proxy.ftp", "proxy.meer.net");
user_pref("network.proxy.ftp_port", 8080);

Build Date & Platform Bug Found:  
NT 2000051808

Additional Information:
If you edit the pref.js file and add the port manually, and then go to the 
preference dialog ... the proxy will be valid but there is no way to remove the 
port # from prefs.js through the dialog.

Comment 1

[sairuh (rarely reading bugmail)]

mcafee...?

Comment 2

[Gagan]

*** Bug 39753 has been marked as a duplicate of this bug. ***

Comment 3

[Chris McAfee]

prefs were being stored as strings, not int's.  fixed.

Comment 4

[Gagan]

*** Bug 39608 has been marked as a duplicate of this bug. ***

Comment 5

[Tom Everingham]

verified:
NT 2000052208

Comment 6

[Matthew T (active 1999-2002)]

*** Bug 40025 has been marked as a duplicate of this bug. ***