int open_cnt; /* 0=not open, otherwise # of openers. */
const char *type; /* If open, type of file. */
- const char open_mode[3]; /* "[rw][se]". */
+ char open_mode[3]; /* "[rw][se]". */
void *aux; /* Aux data pointer for owner if any. */
};
void
fh_done(void)
{
- assert(handle_list);
-
- ll_destroy(handle_list);
- handle_list = 0;
+ if ( handle_list )
+ {
+ ll_destroy(handle_list);
+ handle_list = 0;
+ }
}