1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

5.3->5.5 merge

This commit is contained in:
Sergei Golubchik
2013-02-28 22:47:29 +01:00
52 changed files with 1825 additions and 294 deletions

View File

@ -287,13 +287,15 @@ public:
if (node == &end_of_list)
return;
}
*prev= *last;
*prev= &end_of_list;
last= prev;
}
inline void prepand(base_list *list)
{
if (!list->is_empty())
{
if (is_empty())
last= list->last;
*list->last= first;
first= list->first;
elements+= list->elements;