Home
Libraries
People
FAQ
More
deadline_timer_service::shutdown_service
Destroy all user-defined handler objects owned by the service.
void
shutdown_service
();