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

Don't crash on empty index. Fixes #262 #263

Merged
merged 1 commit into from Jul 11, 2019
Merged

Don't crash on empty index. Fixes #262 #263

merged 1 commit into from Jul 11, 2019

Conversation

niklas88
Copy link
Member

@niklas88 niklas88 commented Jul 1, 2019

There is already several warnings but since we continue trying all steps
even on an empty index we really shouldn't crash.

We can still think about just refusing to process empty input but then
again it's always nice when things "work" even in special cases.

No matter what we do crashing isn't right

There is already several warnings but since we continue trying all steps
even on an empty index we really shouldn't crash.

We can still think about just refusing to process empty input but then
again it's always nice when things "work" even in special cases.

No matter what we do crashing isn't right
Copy link
Member

@lehmann-4178656ch lehmann-4178656ch left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, tested and works nicely. Found #266 during tests but that's a different issue.

@niklas88 niklas88 merged commit 4cd46da into ad-freiburg:master Jul 11, 2019
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.

None yet

2 participants