Fix mysql_ping usage