[POSTPONED] GitLab sender email address for notifications won't be changing effective Monday, March 4th at 17:30h. (ffi: OTG0148869)
The first part is simple, before spawning pool workers we need to inhibit the signal handling of
SIGINT because they will inherit this. Then we can set the signal handler.
Now the other problem (runs continue to being processed) I somehow cannot seem to solve - I can close the pool for new submissions with
pool.close() but there is no way to invalidate the existing task queue already held by the pool. :/
Someone more pythonic needs to take a look at this.