[#1728] Use MySQL ping if apropriate, a SELECT 1 otherwise