MySQL Bugs: #2939: server_id value not changed in Health Section

Bug #2939	server_id value not changed in Health Section
Submitted:	24 Feb 2004 11:14	Modified:	25 Feb 2004 2:09
Reporter:	Alvaro Borbon	Email Updates:
Status:	Not a Bug	Impact on me:	None
Category:	MySQL Administrator	Severity:	S3 (Non-critical)
Version:	1.0.1a ALPHA	OS:	Windows (Win 2k)
Assigned to:	Ulrich Bayer	CPU Architecture:	Any

Description:
In the Health section, the tab "system variables" shows the general variable name 'server_id'. If you double click this variable you can set a new value to it. When you restart the server the value remains unchanged, it keeps the value set on the "Startup Variables" section.

How to repeat:
Go to 'Health' section (on the left navigation). Then choose the 'System Variables' tab. Choose 'General' from the tree on the left, and then double click the variable name 'server_id'. Set a new value for it, then restart the server and refresh the variable name.

Suggested fix:
Link the value of the 'server_id' variable shown on the health section with the value on the Startup Variables section.

Thank you for taking the time to write to us, but this is not
a bug. Please double-check the documentation available at
http://www.mysql.com/documentation/ and the instructions on
how to report a bug at http://bugs.mysql.com/how-to-report.php

Additional info:

I'm sorry but this is the expected behavior.
Editing the startup variables actually means writing to the mysql options file.
The health section only allows changing variables via the SET-command. 
It may be useful to set variables only for the currently running server and this is possible in the health-section. Changing a value permanently requires making this change in the startup-parameters section.