search

crawlserv / crawlservpp

crawlserv++: Application for crawling and analyzing textual content of websites.
Other
5 stars 0 forks source link

networking: sleep with custom callback function #118

Closed crawlserv closed 4 years ago

crawlserv commented 4 years ago

to regularly check whether the thread is still running