Shutdown the processpool after parallel_split_filter [skip hazardlib][demos]
Shutdown the processpool after parallel_split_filter [skip hazardlib][demos]


Former-commit-id: a1be1b1786efad657fa82def40f91edc9f4f6b38 [formerly b83f1ee61a4b06cefb0956a27dde6c5988ef29f9]
Former-commit-id: ece21bd3a827102b7d8fd2d51dc49489ae36187d
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine