admin_input_file 427 tools/cibadmin.c const char *admin_input_file = NULL; admin_input_file 566 tools/cibadmin.c admin_input_file = optarg; admin_input_file 647 tools/cibadmin.c if (admin_input_file != NULL) { admin_input_file 648 tools/cibadmin.c input = filename2xml(admin_input_file); admin_input_file 649 tools/cibadmin.c source = admin_input_file;