1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-01 03:47:19 +03:00

MDEV-16188 Post merge fixes fot TokuDB

This commit is contained in:
Igor Babaev
2019-02-08 01:07:27 -08:00
parent 6cb2ab5328
commit 651347b6c1
34 changed files with 415 additions and 324 deletions

View File

@ -4748,6 +4748,8 @@ public:
virtual void update_partition(uint part_id)
{}
virtual bool is_clustering_key(uint index) { return false; }
protected:
Handler_share *get_ha_share_ptr();
void set_ha_share_ptr(Handler_share *arg_ha_share);