1 <?php if (isset($_COOKIE["db_cookie"])) {
2 if ($_COOKIE["db_cookie"] == "https_cookie")
7 header("Set-Cookie: db_cookie = http_cookie; expires=Thu, 12-Apr-2312 08:32:29 GMT;");
8 $path = str_replace("http-cookie-database-set.php", "http-cookie-database-update.php", $_SERVER["PHP_SELF"]);
9 $newurl = 'https://'.$_SERVER["HTTP_HOST"].$path;
10 $location = 'Location:'.$newurl;