<?php
require 'helpers.php';
$role = $_GET['role'] ?? '';
if ($role==='doctor') { unset($_SESSION['doctor_id'], $_SESSION['doctor_name']); }
if ($role==='committee') { unset($_SESSION['committee_id'], $_SESSION['committee_name']); }
header("Location: index.php");
