Allow setting the scheduler for a resource pool
This commit is contained in:
parent
0c08ce069d
commit
7f1aaa5e99
1 changed files with 4 additions and 1 deletions
|
|
@ -110,6 +110,7 @@
|
||||||
(duration-logger (const #f))
|
(duration-logger (const #f))
|
||||||
destructor
|
destructor
|
||||||
lifetime
|
lifetime
|
||||||
|
scheduler
|
||||||
(name "unnamed"))
|
(name "unnamed"))
|
||||||
(define (initializer/safe)
|
(define (initializer/safe)
|
||||||
(with-exception-handler
|
(with-exception-handler
|
||||||
|
|
@ -342,7 +343,9 @@
|
||||||
available
|
available
|
||||||
waiters
|
waiters
|
||||||
resources-last-used)))))
|
resources-last-used)))))
|
||||||
#:unwind? #t))))
|
#:unwind? #t)))
|
||||||
|
(or scheduler
|
||||||
|
(current-scheduler)))
|
||||||
|
|
||||||
(make-resource-pool-record name channel)))
|
(make-resource-pool-record name channel)))
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue