From 18414719dff0f04023c9e90f21d2311173394289 Mon Sep 17 00:00:00 2001 From: Giraffaman Date: Sun, 25 Feb 2024 14:14:55 +0100 Subject: [PATCH] --- ext/pools/main.php | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/ext/pools/main.php b/ext/pools/main.php index 245d8c946..c533b7ec7 100644 --- a/ext/pools/main.php +++ b/ext/pools/main.php @@ -232,9 +232,8 @@ public function onPageSubNavBuilding(PageSubNavBuildingEvent $event): void public function onPageRequest(PageRequestEvent $event): void { global $config, $database, $page, $user; - if($event->page_matches("pool{/}") && (! $user->is_logged_in())) { - $errMessage = "You must be registered and logged in to use pools."; - $this->theme->display_error(401, "Unauthorized", $errMessage); + if(! $user->is_logged_in()) { + # don't do anything pool-related for anon users return; } else { if (