Skip to content

Fix bug with sep #69

Merged
emirkmo merged 9 commits intodevelfrom
fix_sep_big
May 16, 2022
Merged

Fix bug with sep #69
emirkmo merged 9 commits intodevelfrom
fix_sep_big

Conversation

@emirkmo
Copy link
Contributor

@emirkmo emirkmo commented May 16, 2022

Add N tries while increasing theshold
Because no way to catch sep bare C exception, we have to do generic exception catching.
alternative would be monkeypatching sep to throw a proper exception but the end result is really not that different.

Fixes #68

emirkmo and others added 2 commits May 16, 2022 22:56
Because no way to catch sep bare C exception, we have to do generic exception catching.
@emirkmo emirkmo marked this pull request as ready for review May 16, 2022 21:32
@emirkmo emirkmo merged commit ac0ef76 into devel May 16, 2022
@emirkmo emirkmo deleted the fix_sep_big branch August 9, 2022 10:42
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.

Bug report (from LLuis)

1 participant