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

After merge fixes

This commit is contained in:
unknown
2006-05-18 21:40:52 +02:00
parent 89257c9171
commit 495e1080e6
5 changed files with 18 additions and 25 deletions

View File

@ -1936,17 +1936,6 @@ inline int hexchar_to_int(char c)
return -1;
}
/*
is_user_table()
return true if the table was created explicitly
*/
inline bool is_user_table(TABLE * table)
{
const char *name= table->s->table_name;
return strncmp(name, tmp_file_prefix, tmp_file_prefix_length);
}
/*
Some functions that are different in the embedded library and the normal
server