|
Do you mean that it happens after applying pull requests mentioned in MDEV-8206?
|
|
I don't think this crash is a consequence of the fix. I think that it just crashes earlier without the fix and we never reach this code.
|
|
Yes, that's what I meant. Thanks.
|
|
I just stumbled upon this by accident, but I saw commit https://github.com/MariaDB/server/commit/d158ba62f71ddcc09ecbaff9a73e456e62e2f2e8 and I think it solves this bug.
Maybe Sergei can verify earlier, since it's his commit. I'll try to run some tests ASAP and see how it goes.
|
|
Tested today with MariaDB 10.0.25 and as far as I can see this looks indeed fixed. My previous test case succeeds, and no matter what else I throw at it, it runs stable 
|