Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ref(download): Improve configurability of HostDenyList #1407

Merged
merged 9 commits into from Mar 12, 2024
Merged

Conversation

loewenheim
Copy link
Contributor

@loewenheim loewenheim commented Mar 11, 2024

This makes two fundamental changes to the HostDenyList.

  1. It's now optional and can be disabled by setting deny_list_enabled to false (default is true so everything keeps working as before).
  2. It allows you to exclude a list of hosts, meaning they will never be blocked. This list is configured via deny_list_never_block_hosts (defaults to []).

@loewenheim loewenheim requested a review from a team as a code owner March 11, 2024 10:27
///
/// The host deny list temporarily blocks symbol sources when
/// they cause too many download failures in a given timespan.
pub deny_list_enable: bool,
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nit

Suggested change
pub deny_list_enable: bool,
pub deny_list_enabled: bool,

@loewenheim loewenheim merged commit eb0ede0 into master Mar 12, 2024
10 checks passed
@loewenheim loewenheim deleted the ref/denylist branch March 12, 2024 13:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants