admin_input_file 207 tools/cibadmin.c const char *admin_input_file = NULL; admin_input_file 312 tools/cibadmin.c admin_input_file = optarg; admin_input_file 394 tools/cibadmin.c if (admin_input_file != NULL) { admin_input_file 395 tools/cibadmin.c input = filename2xml(admin_input_file); admin_input_file 396 tools/cibadmin.c source = admin_input_file;