Skip to content

Conversation

@monatis
Copy link
Collaborator

@monatis monatis commented Oct 19, 2023

Closes #3663

Now it throws a runtime error with a helpful message instead of failing with segfault.

@monatis monatis merged commit 60abea9 into master Oct 19, 2023
@monatis monatis deleted the fix-segfault-nonexistent branch October 19, 2023 16:41
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.

whe I give non-existant file names, it segfaults #3

3 participants