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

cleanup: comments

This commit is contained in:
Sergei Golubchik
2015-08-31 16:23:01 +02:00
parent 89e08bf300
commit 7b54dec1c6
4 changed files with 13 additions and 35 deletions

View File

@@ -1239,10 +1239,12 @@ public:
write_data_body(file) ||
write_footer(file));
}
virtual bool write_data_header(IO_CACHE* file)
virtual bool write_data_header(IO_CACHE* file __attribute__((unused)))
{ return 0; }
virtual bool write_data_body(IO_CACHE* file __attribute__((unused)))
{ return 0; }
/* Return start of query time or current time */
inline my_time_t get_time()
{
THD *tmp_thd;
@@ -1321,8 +1323,6 @@ public:
*/
const char* get_type_str();
/* Return start of query time or current time */
#if defined(MYSQL_SERVER) && defined(HAVE_REPLICATION)
public: