| 1467 | } |
| 1468 | |
| 1469 | static void _write_map_cache(const string &filename, size_t vs, size_t ve, |
| 1470 | time_t mtime) |
| 1471 | { |
| 1472 | _check_des_index_dir(); |
| 1473 | |
| 1474 | const string descache_base = get_descache_path(filename, ""); |
| 1475 | |
| 1476 | file_lock deslock(descache_base + ".lk", "wb"); |
| 1477 | |
| 1478 | _write_map_prelude(descache_base, mtime); |
| 1479 | _write_map_full(descache_base, vs, ve, mtime); |
| 1480 | _write_map_index(descache_base, vs, ve, mtime); |
| 1481 | } |
| 1482 | |
| 1483 | static void _parse_maps(const string &s) |
| 1484 | { |
no test coverage detected