/**
* Filters the given domain and split it into an array with a port number.
*
* @param string $domain
*
* @return array The domain and the port number.
*/
function filter_domain($domain)
{
// Convet IDN domain to ascii (if required)
$domain = convert_idn_domain($domain);
$domain = preg_replace("/[^A-Za-z0-9-\\/\\.\\:]/", "", $domain);
// Split the variable into two, $domain & $port.
$result = explode(":", $domain);
// If the port is not numeric or not set we use port 80.
if (!isset($result[1]) || !is_numeric($result[1])) {
$result[1] = 80;
}
return $result;
}
<?php
require "settings.php";
require "functions.php";
// Split the variable into two, $domain & $port.
list($domain, $port) = filter_domain($_GET["domain"]);
// Check the site and get the response code.
$data = get_response($domain, $port);
// Check if IDN domain - convert, display correct domain name in HTML
$domain = convert_idn_domain($domain);
// Caluate and format the time taken to connect.
$time = round($data["time"], 3);
$id = gen_id($data);
$title = gen_title($id, $domain);
$html = gen_html($id, $domain, $port, $time, $data["code"]);
?>
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8"/>
<title><?php
echo $title . " // isitup.org";
// display the dynamic title
?>
</title>
<!-- Hi r/ProgrammerHumor :wave:! -->
<!-- Meta Info -->
<meta name="description" content="The availability results for <?php
