From 85bc95f0050e8cb5b080864a4fa5c3419b98570c Mon Sep 17 00:00:00 2001
From: Dan Langille <dan@langille.org>
Date: Sun, 30 Jun 2024 11:23:11 +0000
Subject: [PATCH] When user details cannot be located, silently clear the
 cookie and proceed as if nothing has happened. Nothing to see here, please
 move along.

The indicident is logged.

re: #574
---
 classes/user.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/classes/user.php b/classes/user.php
index 9fe5f3c2..642d2b3d 100644
--- a/classes/user.php
+++ b/classes/user.php
@@ -88,7 +88,6 @@ function FetchByCookie($Cookie) {
 				freshports_CookieClear();
 				syslog(LOG_ERR, "Could not find user details for '$Cookie' from '" . 
 				        $_SERVER['REMOTE_ADDR'] . "' for '". $_SERVER['REQUEST_URI'] . "'.");
-				die('Your user details were not found.  You have been logged out.  Please return to the <a href="/">home page</a>.');
 			}
 		} else {
 			$numrows = -1;