Added a comment to explain why mysql_stop messes with timeout