From 298b2606eadfb3b830332ceab20beeb61168f44c Mon Sep 17 00:00:00 2001
From: alopexc0de <c0de@unps.us>
Date: Fri, 29 Aug 2014 14:24:02 -0400
Subject: [PATCH] Reload page if token invalid

This isn't the most graceful way to do it, but better than nothing I guess.
---
 Website/process.php | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Website/process.php b/Website/process.php
index 1b768fd..a6e9b66 100644
--- a/Website/process.php
+++ b/Website/process.php
@@ -87,9 +87,8 @@
         } 
 
         if(!$redis->exists("tokens:".$_SESSION['token']) || $redis->get("tokens:".$_SESSION['token']) == 1){
-           echo "<script>alert('Invalid or expired token. Please try again');</script>";
            include("Include/PHP/token.php");
-           header("location:index.php");
+            echo "<script>window.location = \"index.php\";</script>";
         }
 
         $redis->set("tokens:".$_SESSION['token'], 1);