From d2e6519bad041e50b4ae7df441e43fd2cfed46fc Mon Sep 17 00:00:00 2001
From: Diogo Cordeiro <diogo@fc.up.pt>
Date: Sun, 5 May 2019 14:03:55 +0100
Subject: [PATCH] lib/ping.php - Fix PHP 7.3 Warning switch continue -> break

---
 lib/ping.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/ping.php b/lib/ping.php
index 14639d76d2..eb2674e9f3 100644
--- a/lib/ping.php
+++ b/lib/ping.php
@@ -58,13 +58,13 @@ function ping_broadcast_notice($notice) {
             } catch (Exception $e) {
                 common_log(LOG_ERR,
                            "Exception pinging $notify_url: " . $e->getMessage());
-                continue;
+                break;
             }
 
             if (!$httpResponse || mb_strlen($httpResponse->getBody()) == 0) {
                 common_log(LOG_WARNING,
                            "XML-RPC empty results for ping ($notify_url, $notice->id) ");
-                continue;
+                break;
             }
 
             $response = xmlrpc_decode($httpResponse->getBody());