deleting a repo now removes corresponding items from the dns cache

Matthew Bognerrequested to merge
mnbogner/fdroidclient-mnb:dns_cache_cleanup into master

The following scenario was found to cause an error, as described here: #2948

  • enable dns cache feature
  • add a repository
  • remove the repository
  • change the ip address of the repository
  • add the repository again
  • cached dns results are outdated

To prevent this, when a repository is removed, corresponding items are now purged from the dns cache.

Merge request reports