Not a bug

restart with new port fails

Nick Portokallidis 9 years ago updated by Eugene Pankov (Project coordinator) 9 years ago 3
You have to manual enter the new port and refresh page
This might be a stupid question, but did you actually click Save button?
:) yes the port is saved but you have to manual refresh the page with the new port. Sorry i ve not cleared it out.
It's your browser looking for old port then :) It's not exactly easy to change URL from server side during restart (and we'd lose autoreconnect feature when port isn't changed); it's also a rare one-time use case, so I'm marking this as won't fix for now...