From 102b470b85dadf20f9fd5c8e637912c80dfe2abd Mon Sep 17 00:00:00 2001
From: Tomas Kopecek <tkopecek@redhat.com>
Date: Jun 24 2020 08:16:35 +0000
Subject: hub: fix index so it gets used by planner


Fixes: https://pagure.io/koji/issue/2333

---

diff --git a/docs/schema-upgrade-1.21-1.22.sql b/docs/schema-upgrade-1.21-1.22.sql
index f588e49..eb53091 100644
--- a/docs/schema-upgrade-1.21-1.22.sql
+++ b/docs/schema-upgrade-1.21-1.22.sql
@@ -28,4 +28,7 @@ CREATE FUNCTION get_event_time(INTEGER) RETURNS TIMESTAMPTZ AS '
 	SELECT time FROM events WHERE id=$1;
 ' LANGUAGE SQL;
 
+DROP INDEX IF EXISTS sessions_active_and_recent;
+CREATE INDEX sessions_active_and_recent ON sessions(expired, master, update_time) WHERE (expired = FALSE AND master IS NULL);
+
 COMMIT;
diff --git a/docs/schema.sql b/docs/schema.sql
index 725f4be..d38c42a 100644
--- a/docs/schema.sql
+++ b/docs/schema.sql
@@ -126,7 +126,7 @@ CREATE TABLE sessions (
 	UNIQUE (user_id,exclusive)
 ) WITHOUT OIDS;
 CREATE INDEX sessions_master ON sessions(master);
-CREATE INDEX sessions_active_and_recent ON sessions(expired, master, update_time) WHERE (expired IS NOT TRUE AND master IS NULL);
+CREATE INDEX sessions_active_and_recent ON sessions(expired, master, update_time) WHERE (expired = FALSE AND master IS NULL);
 CREATE INDEX sessions_expired ON sessions(expired);
 
 -- Channels are used to limit which tasks are run on which machines.