1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

5.3 merge

This commit is contained in:
Sergei Golubchik
2012-02-21 20:51:56 +01:00
57 changed files with 857 additions and 254 deletions

View File

@ -260,7 +260,12 @@ public:
last= &first;
return tmp->info;
}
inline void disjoin(base_list *list)
/*
Remove from this list elements that are contained in the passed list.
We assume that the passed list is a tail of this list (that is, the whole
list_node* elements are shared).
*/
inline void disjoin(const base_list *list)
{
list_node **prev= &first;
list_node *node= first;