]> _ Git - alire.git/commit
projects / alire.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8041edf) | patch
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
treefab33e0844412f1272c6ffb8db5647352f721cadtree | snapshot
parent8041edfe7fda408ad19b4b61bc6c0282c021a0a4commit | diff
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 diff | blob | history
src/alire/alire-index_on_disk-loading.ads diff | blob | history
src/alire/alire-index_on_disk.adb diff | blob | history
Fork of https://github.com/alire-project/alire to add shell-style quoting (pull request: https://github.com/alire-project/alire/pull/1993)