From 0977efa0d9b55071b649f7424665f4539fc3274e Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Mon, 26 Oct 2020 23:24:25 +0000
Subject: [PATCH] extra bit for pools

---
 ext/pools/main.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ext/pools/main.php b/ext/pools/main.php
index 4c9e99e5..42a078db 100644
--- a/ext/pools/main.php
+++ b/ext/pools/main.php
@@ -784,7 +784,7 @@ class Pools extends Extension
             $query .= "AND i.rating IN (".Ratings::privs_to_sql(Ratings::get_user_class_privs($user)).")";
         }
         if (Extension::is_enabled(TrashInfo::KEY)) {
-            $query .= $database->scoreql_to_sql(" AND trash = SCORE_BOOL_N ");
+            $query .= $database->scoreql_to_sql(" AND trash != :true", ["true"=>true]);
         }
 
         $result = $database->get_all(