$attrs) { $success = false; foreach ($attrs["ports"] as $port => $unused) { if (pingServer($i, $port)) { $success = true; break; } } $result[$i] = $success; } $result = array( "result" => $result, "date" => time() ); writeServersState($result); } } ?>