1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-27 18:02:13 +03:00

Merge of fix for Bug#41660.

This commit is contained in:
Martin Hansson
2010-06-24 16:01:17 +02:00
5 changed files with 89 additions and 20 deletions

View File

@ -3291,6 +3291,9 @@ public:
void reset();
bool walk(tree_walk_action action, void *walk_action_arg);
uint get_size() const { return size; }
ulonglong get_max_in_memory_size() const { return max_in_memory_size; }
friend int unique_write_to_file(uchar* key, element_count count, Unique *unique);
friend int unique_write_to_ptrs(uchar* key, element_count count, Unique *unique);
};