Check in the user directory if there is a settings.json.bak file.
For some unknown reason, when SmarterMail crashes it sometimes leave users without settings.json file or only with the .bak file.
If there's a .bak rename it without .bak then reload the domain.
edit: this can probably also happen when the disk where are the user files located is out of space
Sébastien Riccio
System & Network Admin
https://swisscenter.com