tree 89913a07ec32737ce1764d7d3030146f60bd3592
parent 71d67416e78682933f3621a870ee10376ba14fbd
author Tom Tromey <tom@tromey.com> 1706370766 -0700
committer Tom Tromey <tom@tromey.com> 1709943949 -0700

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.