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

feat: More robust InputStreamWrapper #175

Merged
merged 1 commit into from
Jul 19, 2023
Merged

feat: More robust InputStreamWrapper #175

merged 1 commit into from
Jul 19, 2023

Conversation

Taepper
Copy link
Collaborator

@Taepper Taepper commented Jul 19, 2023

A very small PR with 2 QoL changes.

I lost quite some time debugging, because a file due to experiments, a folder was generated that had the name (minus compression extension) of an input file. This was also detected by filesystem::exists. Now we check for actual regular files.

Moreover, a user should also be able to specify compressed files as input, and the InputStreamWrapper should recognise that it already has a .xz or .zst ending, without trying to forcefully append the ending when it wants to read compressed input files.

@Taepper Taepper merged commit 3387f69 into main Jul 19, 2023
5 checks passed
@Taepper Taepper deleted the betterFiledetection branch July 19, 2023 12:15
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.

2 participants