Johannes Schindelin
017aaabe9e
gc/repack: release packs when needed
...
On Windows, files cannot be removed nor renamed if there are still
handles held by a process. To remedy that, we introduced the
close_all_packs() function.
Earlier, we made sure that the packs are released just before `git gc`
is spawned, in case that gc wants to remove no-longer needed packs.
But this developer forgot that gc itself also needs to let go of packs,
e.g. when consolidating all packs via the --aggressive option.
Likewise, `git repack -d` wants to delete obsolete packs and therefore
needs to close all pack handles, too.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de >
2018-12-09 11:06:37 +01:00
..
2018-11-21 22:57:45 +09:00
2018-11-18 18:23:53 +09:00
2018-10-26 10:17:59 +09:00
2018-11-06 12:56:29 +09:00
2018-11-21 22:58:06 +09:00
2018-11-19 16:24:41 +09:00
2018-09-12 15:15:34 -07:00
2018-11-06 12:56:29 +09:00
2018-10-19 13:34:02 +09:00
2018-11-06 12:56:29 +09:00
2018-09-17 13:53:47 -07:00
2018-10-19 13:34:07 +09:00
2018-11-18 18:23:53 +09:00
2018-10-22 13:17:04 +09:00
2018-11-06 12:49:59 +09:00
2018-09-21 09:51:19 -07:00
2018-09-21 09:51:19 -07:00
2018-09-21 09:51:19 -07:00
2018-10-19 13:34:02 +09:00
2018-10-19 13:34:02 +09:00
2018-11-12 16:43:52 +09:00
2018-10-15 12:53:15 +09:00
2018-11-18 18:23:53 +09:00
2018-10-19 13:34:02 +09:00
2018-11-13 22:37:26 +09:00
2018-12-09 11:06:37 +01:00
2018-11-18 18:23:53 +09:00
2018-09-21 09:48:11 -07:00
2018-10-26 14:22:13 +09:00
2018-11-19 16:24:41 +09:00
2018-11-06 12:56:29 +09:00
2018-11-06 12:56:29 +09:00
2018-12-04 10:36:14 +09:00
2018-11-06 12:56:29 +09:00
2018-11-13 22:37:17 +09:00
2018-11-12 16:43:52 +09:00
2018-11-02 11:04:55 +09:00
2018-11-06 12:56:29 +09:00
2018-11-13 22:37:27 +09:00
2018-11-18 18:23:54 +09:00
2018-10-15 12:53:15 +09:00
2018-09-17 13:49:38 -07:00
2018-11-18 18:23:57 +09:00
2018-11-21 22:57:54 +09:00
2018-11-21 22:57:52 +09:00
2018-11-18 18:23:54 +09:00
2018-11-14 17:17:09 +09:00
2018-10-19 13:34:02 +09:00
2018-11-06 12:56:29 +09:00
2018-10-09 10:44:10 +09:00
2018-12-01 21:41:44 +09:00
2018-11-21 22:58:00 +09:00
2018-11-13 22:37:26 +09:00
2018-09-24 10:30:52 -07:00
2018-12-09 11:06:37 +01:00
2018-12-01 21:41:42 +09:00
2018-11-13 22:37:27 +09:00
2018-10-24 11:57:08 +09:00
2018-11-21 22:57:52 +09:00
2018-11-13 22:37:23 +09:00
2018-09-21 09:51:19 -07:00
2018-09-21 09:51:19 -07:00
2018-11-06 12:56:29 +09:00
2018-11-06 12:56:29 +09:00
2018-11-13 22:37:22 +09:00
2018-11-06 12:56:29 +09:00
2018-11-18 18:23:53 +09:00
2018-09-12 15:17:17 -07:00
2018-10-26 10:17:59 +09:00
2018-10-31 11:41:47 +09:00