From 7661b3c133b55e2802186c04e411ebaa841ff41f Mon Sep 17 00:00:00 2001
From: David Todd <c0de@unps-gama.info>
Date: Tue, 8 Jan 2013 17:09:50 -0500
Subject: [PATCH] Simple logout script for eventual user system

---
 logout.php | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 logout.php

diff --git a/logout.php b/logout.php
new file mode 100644
index 0000000..de4d791
--- /dev/null
+++ b/logout.php
@@ -0,0 +1,14 @@
+<?php
+session_start();
+
+if(!isset($_SERVER['HTTP_REFERER']) || $_SERVER['HTTP_REFERER'] == null || $_SERVER['HTTP_REFERER'] == '') $_SERVER['HTTP_REFERER'] = "index.php";
+
+if(empty($_GET['token']) || $_GET['token'] != $_SESSION['token'])
+{
+    header("location:".$_SERVER['HTTP_REFERER']);
+} 
+
+session_unset(); 
+session_destroy();
+header("location:".$_SERVER['HTTP_REFERER']);
+?>
\ No newline at end of file