From 26ee74be6e2414b6cc22f97fea9b30f306eb713a Mon Sep 17 00:00:00 2001 From: Carlos V <76731844+cvc90@users.noreply.github.com> Date: Sat, 19 Aug 2023 08:50:56 +0200 Subject: [PATCH] Update ping.php Updated error message style Added new comments to facilitate development Optimized white spaces Optimized style --- front/php/server/ping.php | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/front/php/server/ping.php b/front/php/server/ping.php index 7b5d4c23..f077e005 100644 --- a/front/php/server/ping.php +++ b/front/php/server/ping.php @@ -4,7 +4,7 @@ # Pi.Alert # # Open Source Network Guard / WIFI & LAN intrusion detector # # # -# ping.php # Front module. Server side. System Information # +# ping.php # Front module. Server side. System Information # ################################################################################### # Puche 2021 pi.alert.application@gmail.com GNU GPLv3 # # jokob#sk 2022 jokob.sk@gmail.com GNU GPLv3 # @@ -20,8 +20,13 @@ $ip = $_GET['ip']; // Check if IP is valid if (!filter_var($ip, FILTER_VALIDATE_IP)) { -echo '' . lang('DevDetail_Tab_Tools_Ping_Error') . ''; -exit; + // Error message + $output = lang('DevDetail_Tab_Tools_Ping_Error'); + // Show the result + echo "
"; + echo $output; + echo ""; + exit; } // Perform a test with the PING command