]> git.ipfire.org Git - pbs.git/commitdiff
db: Optimise efficiency of the running jobs index
authorMichael Tremer <michael.tremer@ipfire.org>
Wed, 20 Sep 2023 12:15:28 +0000 (12:15 +0000)
committerMichael Tremer <michael.tremer@ipfire.org>
Wed, 20 Sep 2023 12:15:28 +0000 (12:15 +0000)
This does not need to contain any deleted jobs and therefore can be
slightly smaller.

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>
src/database.sql

index ce155aa6274abd82f08c46cfde373cedef019e80..73a3854242ed10d798ef472b77f8fe02a1199cda 100644 (file)
@@ -1728,7 +1728,7 @@ CREATE INDEX jobs_pending ON public.jobs USING btree (id) WHERE ((deleted_at IS
 -- Name: jobs_running; Type: INDEX; Schema: public; Owner: -
 --
 
-CREATE INDEX jobs_running ON public.jobs USING btree (started_at) WHERE ((started_at IS NOT NULL) AND (finished_at IS NULL));
+CREATE INDEX jobs_running ON public.jobs USING btree (started_at) WHERE ((deleted_at IS NULL) AND (started_at IS NOT NULL) AND (finished_at IS NULL));
 
 
 --