MySQL Bugs: #6994: Cannot change port # via Connection Editor

Bug #6994	Cannot change port # via Connection Editor
Submitted:	3 Dec 2004 16:40	Modified:	8 Dec 2004 3:38
Reporter:	Dean Ellis	Email Updates:
Status:	Closed	Impact on me:	None
Category:	MySQL Query Browser	Severity:	S2 (Serious)
Version:	1.1.2	OS:	Linux (Linux)
Assigned to:	Alfredo Kojima	CPU Architecture:	Any

View
Add Comment
Files
Developer
Edit Submission
View Progress Log
Contributions

Description:
Changes to port # via Connection Editor are not saved.  Have to delete and re-add connection to alter the port #.

How to repeat:
Add a connection.  Try to change port #.

Suggested fix:
n/a

Thank you for your bug report. This issue has been committed to our
source repository of that product and will be incorporated into the
next release.

If necessary, you can access the source repository and build the latest
available version, including the bugfix, yourself. More information 
about accessing the source trees is available at
    http://www.mysql.com/doc/en/Installing_source_tree.html