Mikhail Karpov, le mer. 11 nov. 2026 00:12:48 +0700, a ecrit: > 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?
Indeed. It should be fine enough to pthread_cancel + pthread_join them. Samuel
