<?php
// Gunakan config.php agar session_start() tetap konsisten dengan setting keamanan sebelumnya
require_once '../includes/config.php'; 

// 1. Kosongkan semua variabel session di memori server
$_SESSION = [];

// 2. Hapus cookie session di browser user (Sangat Penting!)
// Ini mencegah session ID lama dipakai kembali oleh orang lain di komputer yang sama
if (ini_get("session.use_cookies")) {
    $params = session_get_cookie_params();
    setcookie(session_name(), '', time() - 42000,
        $params["path"], $params["domain"],
        $params["secure"], $params["httponly"]
    );
}

// 3. Hancurkan data session di folder temporary server
session_destroy();

// 4. Tambahkan header untuk mencegah user menekan tombol "Back" dan melihat data lama
header("Cache-Control: no-cache, no-store, must-revalidate"); // HTTP 1.1.
header("Pragma: no-cache"); // HTTP 1.0.
header("Expires: 0"); // Proxies.

// 5. Alihkan ke halaman login dengan notifikasi agar user tahu mereka sudah aman
header("Location: login_pelapor.php?status=success_logout");
exit();