From ee804b16a39fc7084631108af49a17052560e7d4 Mon Sep 17 00:00:00 2001 From: Thies Mueller Date: Tue, 12 Jan 2021 17:12:27 +0100 Subject: [PATCH] commented update.php --- update.php | 19 ++++++++++++------- 1 file changed, 12 insertions(+), 7 deletions(-) diff --git a/update.php b/update.php index 40c90b4..94bc961 100644 --- a/update.php +++ b/update.php @@ -1,10 +1,15 @@ "; -if(isset($_GET['page'])) { - echo "Going to ".$_GET['page']; - echo ''; -} else { - die(); +/* +This is just a little helper script if you dont want to include a whole backgroundupdate in the page, but after the action you want to go over the update path. + +example: update.php?page=start.php does an update of your session and then redirects you directly to start.php +*/ +include 'backgroundupdate.php'; //getting the real update script in the background +echo "freshly updated the session data
"; //printing a short message +if(isset($_GET['page'])) { //checks if "?page=" is set in the url + echo "Going to ".$_GET['page']; //printing the next hop + echo ''; //going to the page specified in the url. +} else { //if there isn't anything in the header, just die already! + die(); } ?> \ No newline at end of file