1
0
mirror of https://github.com/php/web-php.git synced 2026-04-27 00:48:10 +02:00

Ok, well, I am quite confused. How come file_exists() is not a valid

function on 3 out of 5 mirrors?
This commit is contained in:
Rasmus Lerdorf
1998-02-14 03:36:04 +00:00
parent 27ef0e7eb6
commit aeebdcfbb8
-1
View File
@@ -7,7 +7,6 @@ function local_ping($ip) {
elseif(file_exists("/usr/bin/ping")) { $ping="/usr/bin/ping"; }
elseif(file_exists("/usr/local/bin/ping")) { $ping="/usr/local/bin/ping"; }
else { $ping="ping"; }
echo $ping;
$fp=popen("$ping -s -n $ip 32 5","r");
$i=0;
while(!feof($fp)) {