-
Notifications
You must be signed in to change notification settings - Fork 9
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
"Page type mismatch" after removing index #109
Comments
Scheduled for 0.5.2 / 0.6.0 |
Hi there, we are running exactly into this problem. So is there any solution, because here I can't see anyone? Or are we supposed to wait until version 0.6? If we have so, what is the expected release time? |
Ahh, it was fixed from version 0.5.1 to 0.5.2, isn't it? We still use 0.5.1. |
Sorry, but unfortunately we have to reopen the issue again. After recompiling our tool with ZooDB 0.5.2 we still get the "Page type mismatch" error. How can we proceed, should I provide you the corrupted database file? The exception stack trace is: |
Yes, the database file may be helpful. Is this still compomics-utilities? Which branch? |
I created a new issue #122 to cover this problem. |
A lengthy combination of repeatedly creating/removing an index an dropping all associated instances can result in a "page type mismatch error", see Test_092_xxx:
The text was updated successfully, but these errors were encountered: