| version 1.13 | | version 1.14 |
|---|
| | |
| /* | | /* |
| * static char *rcsid_map_c = | | * static char *rcsid_map_c = |
| * "$Id: map.c,v 1.13 2001/04/06 19:07:37 michtoen Exp $"; | | * "$Id: map.c,v 1.14 2001/04/17 05:13:52 mwedel Exp $"; |
| */ | | */ |
| | | |
| /* | | /* |
| | |
| | | |
| if (!m) | | if (!m) |
| return; | | return; |
| if (m->in_memory == MAP_IN_MEMORY) | | if (m->in_memory == MAP_IN_MEMORY) { |
| | | /* change to MAP_SAVING, even though we are not, |
| | | * so that remove_ob doesn't do as much work. |
| | | */ |
| | | m->in_memory = MAP_SAVING; |
| free_map (m, 1); | | free_map (m, 1); |
| | | } |
| /* move this out of free_map, since tmpname can still be needed if | | /* move this out of free_map, since tmpname can still be needed if |
| * the map is swapped out. | | * the map is swapped out. |
| */ | | */ |