Modifications to file_prefs.php to write a temp file before storing prefs. This should stop people
losing their prefs on full disk drive.