81
78
NamedSavepoint &first_savepoint= savepoints.front();
82
79
const string &first_savepoint_name= first_savepoint.getName();
83
80
if (my_strnncoll(system_charset_info,
86
83
(unsigned char *) first_savepoint_name.c_str(),
87
84
first_savepoint_name.size()) == 0)