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?


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


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