#2334 hub: fix index so it gets used by planner
Merged 3 years ago by tkopecek. Opened 3 years ago by tkopecek.
tkopecek/koji issue2333  into  master

@@ -28,4 +28,7 @@ 

  	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;

file modified
+1 -1
@@ -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.