mysql_ping       1832 ext/mysqli/mysqli_api.c 	rc = mysql_ping(mysql->mysql);
mysql_ping        180 ext/mysqli/mysqli_nonapi.c 							if (!mysql_ping(mysql->mysql)) {
mysql_ping        493 ext/pdo_mysql/mysql_driver.c 	if (mysql_ping(H->server)) {