mysql shutdown bug