mirror of
https://github.com/MariaDB/server.git
synced 2025-02-02 12:01:42 +01:00
MariaDB server is a community developed fork of MySQL server. Started by core members of the original MySQL team, MariaDB actively works with outside developers to deliver the most featureful, stable, and sanely licensed open SQL server in the industry.
amazon-web-servicesdatabasefulltext-searchgalerageographical-information-systeminnodbjsonmariadbmysqlrdbmsrelational-databasessqlstorage-enginevector-database
6e9a2579a6
and pruning stale records in secondary databases. Closes #144 Closes #158 Fixed bug where we modify key or pkey or data if we return errors and we really just pruned stale records. Added test to verify we have no memory leaks caused by these issues. git-svn-id: file:///svn/tokudb@1019 c7de825b-a66e-492c-adef-691d508d4ae1 |
||
---|---|---|
bdb-examples | ||
buildheader | ||
db-benchmark-test | ||
include | ||
loadsome | ||
man | ||
newbrt | ||
pma | ||
src | ||
src-bdbwrap | ||
utils | ||
Makefile |