3563: Editing the Server field in ReviewBoards General Settings doesn't take effect until server restart.

jerem******@vaei***** (Google Code) (Is this you? Claim this profile.)
What version are you running?

2.0.6

What's the URL of the page containing the problem?

http://host/admin/settings/general/

What steps will reproduce the problem?
1. Edit Server field.
2. Refresh Page.
3. Look at Server Field again.

What is the expected output? What do you see instead?

I expect to see the field with the same value I just edited with. I see the previous value.

What operating system are you using? What browser?

Mac OS X and Chrome

Please provide any additional information below.

This is apparently due to the change not taking effect until a server restart due to lack of state tracking for the various threads. I can understand this but it's a source of considerable consternation to the person editing the field.

I would suggest either having the edit prompt the editor that a server restart will be required as a short term fix.

Ideally the edit would take effect without a restart but I understand that might take a while to work out the details.

Link to ML thread for reference: https://groups.google.com/d/topic/reviewboard/4Qz1ZsshJNg