]> _ Git - alire.git/commit
Alire.Index_On_Disk: Drop index cache after deletion (#1010)
authorAlejandro R Mosteo <amosteo@unizar.es>
Fri, 29 Apr 2022 14:55:50 +0000 (16:55 +0200)
committerGitHub <noreply@github.com>
Fri, 29 Apr 2022 14:55:50 +0000 (16:55 +0200)
commit797d20b56da5cb29a0567f64902ba1502a2f56bc
treefab33e0844412f1272c6ffb8db5647352f721cad
parent8041edfe7fda408ad19b4b61bc6c0282c021a0a4
Alire.Index_On_Disk: Drop index cache after deletion (#1010)

Also ensure that all index addition functions operate with fresh index
information

Co-authored-by: GHA <actions@github.com>
src/alire/alire-index_on_disk-loading.adb
src/alire/alire-index_on_disk-loading.ads
src/alire/alire-index_on_disk.adb