$max_count) { echo 'Maximum for count is: '.$max_count; echo 'zurück'; } else { // replace bad chars $host= preg_replace ("/[^A-Za-z0-9.-]/","",$host); $count= preg_replace ("/[^0-9.]/","",$count); echo '
'; echo("Ping Output:'; //check target IP or domain if ($unix) { system ("ping -c$count -w$count $host"); system("killall ping");// kill all ping processes in case there are some stalled ones or use echo 'ping' to execute ping without shell } else { system("ping -n $count $host"); } echo ''; } } else { echo ''; echo '
Your IP is: '.$ip.'
'; echo 'zurück'; echo ''; echo '