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

Add parameter to skip ignoring files #4361

Closed
wants to merge 2 commits into from

Commits on Dec 12, 2023

  1. Add parameter to skip ignoring files

    In our use-case we have a race condition.
    
    We are creating files, then we are setting up privileges.
    In function 'extend_paths' we can see that if file is not readable once it is ignored, so it happened to us, that some logs were ignored forever.
    
    I think that introducing such parameter should be the easiest way to avoid similar problems in the future.
    
    Signed-off-by: Artur Laskowski <apilaskowski@google.com>
    apilaskowski committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    78e8cc7 View commit details
    Browse the repository at this point in the history

Commits on Dec 13, 2023

  1. Misspeled defaults fixed

    Signed-off-by: Artur Laskowski <apilaskowski@google.com>
    apilaskowski committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    1ee6461 View commit details
    Browse the repository at this point in the history