mapcache_seed: try to kill still running threads after grace period#313

Merged

jmckenna merged 4 commits intoMapServer:mainfrom

marisn:seed_threads

Sep 27, 2023

Commits on Sep 9, 2023

Handle stuck threads more gracefully

Maris Nartiss
authored and
marisn
committed
Add an explanation of delay before retry + fix formating
marisn
committed
mapcache_seed: a better version of forcefully terminating threads if they are stuck
marisn
committed

Commits on Sep 27, 2023

Print a warning if seeder threads need to be stoped forcefully
marisn
committed