branch: main
commit 6fb98b4971099224823dc89af93974613bd2ceff
Author: Romain GARBAGE <[email protected]>
AuthorDate: Wed May 7 11:18:23 2025 +0200
registry: Update the specification in the database when needed.
* src/cuirass/base.scm (jobset-monitor): Actually spdate the specification
in
the database when requested.
Signed-off-by: Ludovic Courtès <[email protected]>
---
src/cuirass/base.scm | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/cuirass/base.scm b/src/cuirass/base.scm
index 958be9f..74c306e 100644
--- a/src/cuirass/base.scm
+++ b/src/cuirass/base.scm
@@ -963,6 +963,7 @@ notification subscriptions."
(perform-update))
(`(update-spec ,spec)
(log-info "updating spec of jobset '~a'" name)
+ (db-add-or-update-specification spec)
(loop spec last-updates))
(`(active? ,reply)
(put-message reply #t)
@@ -985,6 +986,7 @@ notification subscriptions."
(match (get-message channel) ;currently inactive
(`(update-spec ,spec)
(log-info "updating spec of inactive jobset '~a'" name)
+ (db-add-or-update-specification spec)
(loop spec last-updates))
(`(active? ,reply)
(put-message reply #f)
