Crash the server if file flush does not succeed: the database can get corrupt, better to crash it than let it run