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

[Spider] Add add checking default_value for default_file, host, port

This commit is contained in:
Kentoku SHIBA
2020-08-05 10:10:33 +09:00
parent 5585c9f984
commit 09be96ff08
6 changed files with 199 additions and 24 deletions

View File

@@ -199,6 +199,12 @@ public:
spider_string *str
);
#endif
bool tables_on_different_db_are_joinable();
bool socket_has_default_value();
bool database_has_default_value();
bool default_file_has_default_value();
bool host_has_default_value();
bool port_has_default_value();
bool append_charset_name_before_string();
};