Searched refs:old_init_file (Results 1 – 1 of 1) sorted by relevance
4258 FILE *old_init_file = NULL; in dump_ee_conf() local4296 old_init_file = fopen(buffer, "r"); in dump_ee_conf()4307 if (old_init_file != NULL) in dump_ee_conf()4312 while ((string = fgets(buffer, 512, old_init_file)) != NULL) in dump_ee_conf()4328 fclose(old_init_file); in dump_ee_conf()