exit(EXIT_FAILURE);
}
+/**
+ * (Re-)read the server configuration files.
+ *
+ * \param override Passed to gengetopt to activate the override feature.
+ *
+ * This function also re-opens the logfile and sets the global \a
+ * user_list_file variable.
+ */
void parse_config_or_die(int override)
{
char *home = para_homedir();