diff options
author | Marko Mäkelä <marko.makela@mariadb.com> | 2018-03-29 17:03:34 +0300 |
---|---|---|
committer | Marko Mäkelä <marko.makela@mariadb.com> | 2018-03-29 17:03:34 +0300 |
commit | 980dd09be6316e5596419e7dcdb255446b40c54e (patch) | |
tree | 899d843b34e8f64ace918dab49d93f5ae0ab945b /storage/rocksdb/ha_rocksdb.h | |
parent | 4277c173a9815b2c2f9a53039100ad86406003e7 (diff) | |
parent | 014dfe473a10c79bb476833db915cb586c3b0fd8 (diff) | |
download | mariadb-git-980dd09be6316e5596419e7dcdb255446b40c54e.tar.gz |
Merge 10.2 into 10.3
Diffstat (limited to 'storage/rocksdb/ha_rocksdb.h')
-rw-r--r-- | storage/rocksdb/ha_rocksdb.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/storage/rocksdb/ha_rocksdb.h b/storage/rocksdb/ha_rocksdb.h index d28cb7552ed..af5cc5c3024 100644 --- a/storage/rocksdb/ha_rocksdb.h +++ b/storage/rocksdb/ha_rocksdb.h @@ -1414,4 +1414,5 @@ private: const int MYROCKS_MARIADB_PLUGIN_MATURITY_LEVEL= MariaDB_PLUGIN_MATURITY_GAMMA; +extern bool prevent_myrocks_loading; } // namespace myrocks |