Fixed: interpretation of mysql_ping() result