<?php
session_start();
// Clear only staff session keys (a customer session, if any, is left intact).
unset($_SESSION['staff_id'], $_SESSION['staff_role'], $_SESSION['staff_name']);
header("Location: login.php");
exit;
