svoid ping_okInCleanUp() {
ifndef LeanMode
  if (ping_pauseAll || ping_anyActions)
    ping_impl(true);
endifndef
}