Do not wait for pref edits; must restart manually.
The preferences menu simply opens config file. Don't do anything tricky like block and restart the server after it's been edited.