I forgot to ask: in pager_start_workers, we create threads, but if an error
occurs, we don’t do anything with them.  Perhaps we should terminate them
first, and only then free the memory?

--
Mikhail Karpov


Reply via email to