| version 1.12 | | version 1.13 |
|---|
| | |
| /* | | /* |
| * static char *rcsid_swap_c = | | * static char *rcsid_swap_c = |
| * "$Id: swap.c,v 1.12 2002/11/26 08:48:20 garbled Exp $"; | | * "$Id: swap.c,v 1.13 2002/11/26 08:57:56 garbled Exp $"; |
| */ | | */ |
| | | |
| /* | | /* |
| | |
| m = m->next; | | m = m->next; |
| delete_map(oldmap); | | delete_map(oldmap); |
| } | | } |
| #ifdef MAP_RESET /* No need to flush them if there are no resets */ | | |
| else if(m->in_memory != MAP_SWAPPED || m->tmpname == NULL || | | else if(m->in_memory != MAP_SWAPPED || m->tmpname == NULL || |
| sec < m->reset_time) { | | sec < m->reset_time) { |
| m = m->next; | | m = m->next; |
| | |
| m = m->next; | | m = m->next; |
| delete_map(oldmap); | | delete_map(oldmap); |
| } | | } |
| #endif | | |
| } | | } |
| } | | } |