MP1-4535 : BUG-TvServer_crashes_if_PingMonitor_is_enabled_and_pinged_host_is_not_reachable