if (exit_filelist == NULL) exit_filelist = svector_create(20);
(void) svector_push_back(exit_filelist, mh_xstrdup(pathname));
}
if (exit_filelist == NULL) exit_filelist = svector_create(20);
(void) svector_push_back(exit_filelist, mh_xstrdup(pathname));
}