bugfix: terminate shouldn't wait gracetime if process dies sooner