From 7f1aaa5e996ecdc1b6bfe17ad81ee9297c824744 Mon Sep 17 00:00:00 2001 From: Christopher Baines Date: Wed, 14 Aug 2024 21:13:42 +0100 Subject: [PATCH] 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)))