Searched refs:old_init_file (Results 1 – 1 of 1) sorted by relevance
4252 FILE *old_init_file = NULL; in dump_ee_conf() local4290 old_init_file = fopen(buffer, "r"); in dump_ee_conf()4301 if (old_init_file != NULL) in dump_ee_conf()4306 while ((string = fgets(buffer, 512, old_init_file)) != NULL) in dump_ee_conf()4322 fclose(old_init_file); in dump_ee_conf()