Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Workaround potential backwards incompat with gnudbm usage
The earlier commit, 9869bfe, switched the dbm usage of the file repository to always use gnu dbm. However this is a potentially backwards incompatible change. If someone has a repository that was initialized with a dbm file other than gnu dbm. This commit addresses this by catching the error raised by gdbm in that case and recreating the times database with gnudbm. The data will be lost, but since only 1 previous timing record is kept and it's only used for scheduler optimization this is not an issue.
- Loading branch information