Download this file
1 2 3 4 5 6 7 8 9 10 11
<?php session_start(); if(isset($_SESSION['user_id'])) { header('Location: html_gui'); } else { header('Location: html_gui/login.html'); } ?>