Handle interrupt when shutting down executors#1315

Merged

fractalwrench merged 1 commit intonextfrom PLAT-6884/catch-interrupted-exception

Jul 8, 2021

+15-3

Commits on Jul 8, 2021

fix: handle interrupt when shutting down executors
$fractalwrench$ fractalwrench
committed