";
echo "Description:".$errno." ".$errstr."
";
}
else
{
fputs($sock, "GET / HTTP/1.1\r\n\r\n");
$rec = fgets($sock, 4);
if ($rec!="HTTP") {
echo "Tomcat is not available on skmi.";
}
else {
echo "OK";
echo "";
}
}
// redirect("http://skmi.science.upjs.sk:8080/~radiohead/servlet/Query");
?>