| commit | 2509ae7fb0f899ccf19126d1df8a7c31d5fe6aec | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tom@tromey.com> | Sat Jan 27 08:52:46 2024 -0700 |
| committer | Tom Tromey <tom@tromey.com> | Fri Mar 08 17:25:49 2024 -0700 |
| tree | 89913a07ec32737ce1764d7d3030146f60bd3592 | |
| parent | 71d67416e78682933f3621a870ee10376ba14fbd [diff] |
Capture directory in index_cache_store_context I noticed that index_cache_store_context captures the 'enabled' setting, but not the index cache directory. This patch makes this change, which avoids a possible race -- with background reading, the user could possibly change this directory at the exact moment the writer examines the variable.