array(
'header' => "Authorization: Basic " . base64_encode("$username:$password"), "Connection: close\r\n"
)
));
$handle = fopen("adei", "w");
$content = "";
for ($id = 0; $id < sizeof($adeiChannel); $id++)
{
$adeiChannels = "";
for ($id2 = 0; $id2 < sizeof($adeiChannel[$id]); $id2++)
{
$adeiChannels = $adeiChannels . $adeiChannel[$id][$id2] . ",";
}
$adeiChannels = substr($adeiChannels, 0, strlen($adeiChannels) - 1);
$fileip = file_get_contents("https://adei-katrin.kaas.kit.edu/adei/services/getdata.php?db_server=virtual&db_name=srctree&db_group=-3&control_group=-3&virtual=srctree&srctree=" . $adeiChannels . "&window=60&format=csv", false, $context);
//$fileip = file_get_contents("http://ipekatrinbackupserv1.ipe.kit.edu/adei/services/getdata.php?db_server=virtual&db_name=srctree&db_group=-3&control_group=-3&virtual=srctree&srctree=" . $adeiChannels . "&window=60&format=csv", false, $context);
//echo $fileip . "
";
for ($id2 = sizeof($adeiChannel[$id]) - 1 ; $id2 > -1; $id2--)
{
$pos = strrpos($fileip, ",");
$adeiValue[$id][$id2] = floatval(substr($fileip, $pos + 2));
$fileip = substr($fileip, 0, $pos);
//echo $id . "," . $id2 . "," . $adeiValue[$id][$id2] . "
";
$content = $content . $adeiValue[$id][$id2] . " ";
}
$content = $content . "|";
}
fwrite($handle, $content);
fclose($handle);
?>