If server fails init, save any changed or generated settings.

Fixes #1396 
No capitalisation is used anywhere else for settings.ini, will this work?