Method restart

sql/sql_profile.cc:343–354

*/

void PROFILING::restart()
{
  while (! history.is_empty())
    delete history.pop();

  if (current != NULL)
    delete current;
  /* Ensure that profiling object can be reused */
  profile_id_counter= 1;
  current= NULL;
  last= NULL;
}


/**