diff options
| author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2022-08-18 21:40:52 +0000 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2022-08-18 21:35:32 -0700 |
| commit | ec4c23116b2d1bb34b3952c0597032ca8ed6e5fc (patch) | |
| tree | 25c1cefea2081ebe4170cb247a7f4455bb67cdc0 /commit-graph.h | |
| parent | 3f1917dc608021d7e94f4aaed9ecc9f58f9e32a4 (diff) | |
scalar unregister: stop FSMonitor daemon
Especially on Windows, we will need to stop that daemon, just in case
that the directory needs to be removed (the daemon would otherwise hold
a handle to that directory, preventing it from being deleted).
Helped-by: Junio C Hamano <gitster@pobox.com>
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Victoria Dye <vdye@github.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'commit-graph.h')
0 files changed, 0 insertions, 0 deletions