Export resource-pool-name
This commit is contained in:
parent
0771a41fe0
commit
66e0c52bf4
1 changed files with 1 additions and 0 deletions
|
@ -31,6 +31,7 @@
|
|||
#:export (resource-pool?
|
||||
|
||||
make-resource-pool
|
||||
resource-pool-name
|
||||
destroy-resource-pool
|
||||
|
||||
resource-pool-default-timeout
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue