| version 1.16 | | version 1.17 |
|---|
| | |
| /* | | /* |
| * static char *rcsid_swap_c = | | * static char *rcsid_swap_c = |
| * "$Id: swap.c,v 1.16 2005/10/18 16:54:31 gros Exp $"; | | * "$Id: swap.c,v 1.17 2005/12/05 23:34:04 akirschbaum Exp $"; |
| */ | | */ |
| | | |
| /* | | /* |
| | |
| /* This writes out information on all the temporary maps. It is called by | | /* This writes out information on all the temporary maps. It is called by |
| * swap_map below. | | * swap_map below. |
| */ | | */ |
| static void write_map_log() | | static void write_map_log(void) |
| { | | { |
| FILE *fp; | | FILE *fp; |
| mapstruct *map; | | mapstruct *map; |
| | |
| fclose(fp); | | fclose(fp); |
| } | | } |
| | | |
| void read_map_log() | | void read_map_log(void) |
| { | | { |
| FILE *fp; | | FILE *fp; |
| mapstruct *map; | | mapstruct *map; |
| | |
| write_map_log(); | | write_map_log(); |
| } | | } |
| | | |
| void check_active_maps() { | | void check_active_maps(void) { |
| mapstruct *map, *next; | | mapstruct *map, *next; |
| | | |
| for(map=first_map;map!=NULL;map=next) { | | for(map=first_map;map!=NULL;map=next) { |
| | |
| * they are visited. | | * they are visited. |
| * This is very useful if the tmp-disk is very full. | | * This is very useful if the tmp-disk is very full. |
| */ | | */ |
| void flush_old_maps() { | | void flush_old_maps(void) { |
| | | |
| mapstruct *m, *oldmap; | | mapstruct *m, *oldmap; |
| long sec; | | long sec; |