1
0
mirror of https://github.com/MariaDB/server.git synced 2025-12-01 17:39:21 +03:00
Commit Graph

4 Commits

Author SHA1 Message Date
Sergei Petrunia
e22b271b39 MariaRocks port: compilation fixes 2016-10-21 21:11:47 +00:00
Sergei Petrunia
fdf026a4ad MariaRocks port: s/my_core::thd_killed/thd_killed/ 2016-10-16 18:07:35 +00:00
Sergei Petrunia
7c3affdcc0 Add #include <my_config.h> at the start of every .cc file 2016-10-09 12:36:58 +00:00
Sergei Petrunia
ebfc4e6ad0 Initial commit,
copy of
commit 86587affafe77ef555f7c3839839de44f0f203f3
Author: Tian Xia <tianx@fb.com>
Date:   Tue Oct 4 10:01:52 2016 -0700

    Allow filtering of show commands through admission control
2016-10-06 17:24:09 +00:00