1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-08 11:22:35 +03:00

Merge branch '5.5' into 10.0

This commit is contained in:
Sergei Golubchik
2017-06-28 10:10:31 +02:00
9 changed files with 124 additions and 5 deletions

View File

@@ -329,6 +329,8 @@ enum enum_server_command
*/
#define SERVER_STATUS_IN_TRANS_READONLY 8192
#define SERVER_STATUS_ANSI_QUOTES 32768
/**
Server status flags that must be cleared when starting