| |
@@ -126,7 +126,7 @@
|
| |
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.
|
| |
Fixes: https://pagure.io/koji/issue/2333