From d9992fde9386b5080468d18d33e74c1bebd539d2 Mon Sep 17 00:00:00 2001 From: OscarRui <79144467+OscarRui@users.noreply.github.com> Date: Thu, 27 May 2021 14:29:25 +0200 Subject: [PATCH] Update index.php --- panel_manager/index.php | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/panel_manager/index.php b/panel_manager/index.php index f40a535..7d5f2dd 100644 --- a/panel_manager/index.php +++ b/panel_manager/index.php @@ -16,8 +16,34 @@ $state = isset($_GET['state']) ? $_GET['state'] : ''; switch($state){ case "view_user": + $_SESSION["rol"] = null; + $panel .= "
+ "; break; case "view_ruser": + $_SESSION["rol"] = "user"; + $panel .= " + "; break; case "manage_halls": $panel = Manager_panel::manage_halls($manager);