}
if (isset($_SESSION["dist"]) && !isset($_POST["dist"])) {
if ($_SESSION["dist"] != null) {
$_POST["dist"] = $_SESSION["dist"];
}
}
$dist = null;
$dist = $_POST['dist'];
preg_match("/([0-9]+[\\.,]?)+/", $dist, $matches);
if (isset($matches[0])) {
$dist = $matches[0];
$_SESSION["dist"] = $dist;
$dist = $dist . "_rest";
//holt die Liste der Namen aller Restaurants
$query = "SELECT `name`, `id` FROM `{$dist}`.`rest`;";
$names = $dblib->utf8($dblib->structurize($dblib->getDbArray($query), "name"));
//holt die Typen aller Restaurants
$query = "SELECT `type`, `id` FROM `{$dist}`.`rest`;";
$types = $dblib->utf8($dblib->structurize($dblib->getDbArray($query), "type"));
//holt die Picture-Location aller Reszaurants
$query = "SELECT `picture`, `id` FROM `{$dist}`.`rest`;";
$pics = $dblib->utf8($dblib->structurize($dblib->getDbArray($query), "picture"));
//holt die Quick-Info aller Restaurants
$query = "SELECT `desc`, `id` FROM `{$dist}`.`rest`;";
$desc = $dblib->utf8($dblib->structurize($dblib->getDbArray($query), "desc"));
//holt die ID aller Restaurants
$query = "SELECT `id` FROM `{$dist}`.`rest`";
$id = $dblib->utf8($dblib->structurize($dblib->getDbArray($query), "id"));
//es wird überprüft ob die Restaurants offen haben
$hour = intval(date('G', time()));
$minute = intval(date('i', time()));
