handle term signal same as int signal - #1015

handle term signal same as int signal#1015

karoisuzvards wants to merge 2 commits into

grosser:mastergrosser/parallel_tests:masterfrom

karoisuzvards:masterkaroisuzvards/parallel_tests:masterCopy head branch name to clipboard