05/16: Allow setting the scheduler for a resource pool

[Christopher Baines]

cbaines pushed a commit to branch master
in repository data-service.

commit 7f1aaa5e996ecdc1b6bfe17ad81ee9297c824744
Author: Christopher Baines <m...@cbaines.net>
AuthorDate: Wed Aug 14 21:13:42 2024 +0100

    Allow setting the scheduler for a resource pool
---
 guix-data-service/utils.scm | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/guix-data-service/utils.scm b/guix-data-service/utils.scm
index 9926478..697d6df 100644
--- a/guix-data-service/utils.scm
+++ b/guix-data-service/utils.scm
@@ -110,6 +110,7 @@
                              (duration-logger (const #f))
                              destructor
                              lifetime
+                             scheduler
                              (name "unnamed"))
   (define (initializer/safe)
     (with-exception-handler
@@ -342,7 +343,9 @@
                         available
                         waiters
                         resources-last-used)))))
-           #:unwind? #t))))
+           #:unwind? #t)))
+     (or scheduler
+         (current-scheduler)))
 
     (make-resource-pool-record name channel)))