static void gppfile(void *handle, const char *name, Conf *conf, int primary) { Filename *result = read_setting_filename(handle, name); if (!result) result = platform_default_filename(name); conf_set_filename(conf, primary, result); filename_free(result); }
static void gppfile(void *handle, const char *name, Filename *result) { if (!read_setting_filename(handle, name, result)) *result = platform_default_filename(name); }