Hola, pues como que le falta algo no crees...
Código PHP:
<?
session_unset(void);
header ("Location: $HTTP_REFERER");
?>
creo que deberia ser asi
Código PHP:
<?php session_start(); // <-- faltaba esto no
session_unset(void);
header ("Location: $HTTP_REFERER");
?>
jej. espero se solucione asi