Files
WebDB/website/public/index.php
2017-01-26 10:26:40 +01:00

9 lines
141 B
PHP

<?php
session_start();
if (isset($_SESSION["userID"])) {
header("Location: profile.php");
} else {
header("Location: login.php");
}