Home
Download
Browse GIT
Contrib
Packs
HOWTO
FAQ
Manual
Mailinglist
Support
Links
Contact
Development tools
PlDoc Documentation
Graphics
(Semantic) Web
Publications
Contributors
License
Wiki (edit)
login
A.28 library(thread_pool): Resource bounded thread management
All
Application
Manual
Name
Summary
Help
Availability:
:- use_module(
library(thread_pool)
).
(can be autoloaded)
[det]
thread_pool_destroy
(
+Name
)
Destroy the thread pool named
Name
.
Errors
existence_error(thread_pool, Name)
.
