Taus 2158eaa34c Python: Fix a bug in glob regex creation ...

The previous version was tested on a version of the code where we had
temporarily removed the `glob.strip("/")` bit, and so the bug didn't
trigger then.

We now correctly remember if the glob ends in `/`, and add an extra part
in that case. This way, if the path ends with multiple slashes, they
effectively get consolidated into a single one, which results in the
correct semantics.

2025-05-15 15:34:11 +00:00

..

data

Python: Copy Python extractor to codeql repo

2024-03-07 13:59:16 +00:00

extractors

Python: Copy Python extractor to codeql repo

2024-03-07 13:59:16 +00:00

python

Python: Don't prune any MatchLiteralPatterns

2025-02-11 12:58:52 +00:00

thrift

Python: Copy Python extractor to codeql repo

2024-03-07 13:59:16 +00:00

__init__.py

Python: Copy Python extractor to codeql repo

2024-03-07 13:59:16 +00:00

cache.py

Python: Copy Python extractor to codeql repo

2024-03-07 13:59:16 +00:00

cmdline.py

Python: improve messaging

2024-10-11 15:36:44 +02:00

dbscheme_gen.py

Python: Copy Python extractor to codeql repo

2024-03-07 13:59:16 +00:00

dbscheme.template

Python: Copy Python extractor to codeql repo

2024-03-07 13:59:16 +00:00

files.py

Python: Copy Python extractor to codeql repo

2024-03-07 13:59:16 +00:00

graph.py

Python: Copy Python extractor to codeql repo

2024-03-07 13:59:16 +00:00

logging.py

Python: Don't use fake locations in diagnostics

2024-07-12 13:36:41 +02:00

path_filters.py

Python: Fix a bug in glob regex creation

2025-05-15 15:34:11 +00:00

path_rename.py

Python: Copy Python extractor to codeql repo

2024-03-07 13:59:16 +00:00

populator.py

Python: only look for the py2 stdlib if we extract std lib

2024-10-11 15:36:44 +02:00

profiling.py

Python: Copy Python extractor to codeql repo

2024-03-07 13:59:16 +00:00

projectlayout.py

Python: Copy Python extractor to codeql repo

2024-03-07 13:59:16 +00:00

query_gen.py

Python: Copy Python extractor to codeql repo

2024-03-07 13:59:16 +00:00

traverser.py

Python: Remove special casing of hidden files

2025-05-15 14:49:17 +00:00

util.py

Python: Bump extractor version

2025-05-15 14:59:33 +00:00

worker.py

Python: Gracefully handle exceptions in diagnostics writing

2024-07-09 14:15:51 +02:00