1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-27 18:02:13 +03:00

5.5 merge

This commit is contained in:
Sergei Golubchik
2014-11-19 17:23:39 +01:00
90 changed files with 2762 additions and 338 deletions

View File

@ -253,7 +253,9 @@ public:
*/
inline void chop()
{
Ptr[str_length--]= '\0';
str_length--;
Ptr[str_length]= '\0';
DBUG_ASSERT(strlen(Ptr) == str_length);
}
inline void free()