admin_input_file 402 tools/cibadmin.c const char *admin_input_file = NULL; admin_input_file 508 tools/cibadmin.c admin_input_file = optarg; admin_input_file 589 tools/cibadmin.c if (admin_input_file != NULL) { admin_input_file 590 tools/cibadmin.c input = filename2xml(admin_input_file); admin_input_file 591 tools/cibadmin.c source = admin_input_file;