<?php
session_start();
$url = $shelldb_url . "/index.php";
session_destroy();
header("Location: $url");
?>