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 a feature to ignore empty path segments (// in path). #993

Open
wants to merge 3 commits into
base: master
Choose a base branch
from

Commits on Sep 2, 2022

  1. Add a feature to ignore empty path segments (// in path).

    When the new `ignore-empty-path-segments` feature is enabled, multiple leading slashes at the start of the path are ignored (the first segment starts after them), and multiple slashes at the end of any matched segment are ignored (so the next segment starts after them).  In addition, the `end` filter will ignore multiple slashes that follow the final segment. Both the `fullpath` and `tail` filters will still return any multiple slashes in their matched text, but their `segments` iterator will ignore the empty segments (in fact it does this today even without this feature being set).
    
    This change does _not_ include this feature in the list of default features.
    
    This change includes path filter testing on paths with multiple slashes in them.
    
    This change fixes seanmonstar#738.
    brotskydotcom committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    3ab39ff View commit details
    Browse the repository at this point in the history

Commits on Feb 18, 2023

  1. Configuration menu
    Copy the full SHA
    cd10160 View commit details
    Browse the repository at this point in the history
  2. Use explicit tuple with impl Reply Extract type.

    This fixes the new compiler warning about implicit associated type bounds, as per seanmonstar#1020 (comment)
    brotskydotcom committed Feb 18, 2023
    Configuration menu
    Copy the full SHA
    92dc0e4 View commit details
    Browse the repository at this point in the history