Update ping.php

Updated error message style
Added new comments to facilitate development
Optimized white spaces
Optimized style
This commit is contained in:
Carlos V
2023-08-19 08:50:56 +02:00
committed by GitHub
parent 0d1c32a453
commit 26ee74be6e
+6 -1
View File
@@ -20,7 +20,12 @@ $ip = $_GET['ip'];
// Check if IP is valid // Check if IP is valid
if (!filter_var($ip, FILTER_VALIDATE_IP)) { if (!filter_var($ip, FILTER_VALIDATE_IP)) {
echo '' . lang('DevDetail_Tab_Tools_Ping_Error') . ''; // Error message
$output = lang('DevDetail_Tab_Tools_Ping_Error');
// Show the result
echo "<pre>";
echo $output;
echo "</pre>";
exit; exit;
} }