https://bz.apache.org/bugzilla/show_bug.cgi?id=57364
--- Comment #8 from Felix Schumacher <[email protected]> --- I would not change anything at the moment, as we are telling the user to restart. If they choose not to, it is their responsibility. If we would change the behaviour, we would have to change the text of the popup. That should be clear. -- You are receiving this mail because: You are the assignee for the bug.
