+$err = write_config_db($table_prefix != "");
+if ($err == -1)
+ display_error("Cannot open the configuration file ($config_filename)");
+else if ($err == -2)
+ display_error("Cannot write to the configuration file ($config_filename)");
+else if ($err == -3)
+ display_error("The configuration file $config_filename is not writable. Change its permissions so it is, then re-run step 4.");
+