ignore mysql history