Cancel queued up work on ctrl-c #425#433

gkreitz merged 1 commit into

Kattis:masterKattis/problemtools:masterfrom

gkreitz:425_clean_shutdown_in_multithreadinggkreitz/problemtools:425_clean_shutdown_in_multithreadingCopy head branch name to clipboard