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

Merge remote-tracking branch 'refs/remotes/github/10.1' into 10.1

This commit is contained in:
Sergei Golubchik
2015-02-01 12:39:59 +01:00
6 changed files with 145 additions and 4 deletions

View File

@ -4116,7 +4116,7 @@ public:
virtual bool check_simple_select() const { return FALSE; }
void abort_result_set();
virtual void cleanup();
bool is_result_interceptor() { return true; }
bool is_result_interceptor() { return false; }
};