kill any open forks in Fail() before dying#385

wholtz wants to merge 1 commit into

DaehwanKimLab:masterDaehwanKimLab/hisat2:masterfrom

wholtz:patch-1wholtz/hisat2:patch-1Copy head branch name to clipboard