1
0
mirror of https://github.com/MariaDB/server.git synced 2025-09-02 09:41:40 +03:00

Merge community up to enterprise, thus ending the community-server

adventure.
This commit is contained in:
Chad MILLER
2009-05-06 09:06:32 -04:00
56 changed files with 2313 additions and 212 deletions

View File

@@ -0,0 +1,4 @@
--require r/have_community_features.require
--disable_query_log
show variables like 'have_community_features';
--enable_query_log

View File

@@ -0,0 +1,4 @@
--require r/have_profiling.require
--disable_query_log
show variables like 'have_profiling';
--enable_query_log