There seems to be no reasonable way to handle Ctrl-C with a ProcessPoolExecutor. Or at least you have to press it several times to actually kill. Pool does the job.