Catch masked OutOfMemory errors as User Errors

This commit is contained in:
Eric Banks 2012-09-07 11:27:00 -04:00
parent f25bf0f927
commit 41a8a304a0
1 changed files with 4 additions and 0 deletions

View File

@ -137,6 +137,10 @@ public class CommandLineGATK extends CommandLineExecutable {
exitSystemWithUserError(new UserException.NoSpaceOnDevice());
if ( t.getCause() != null && t.getCause().getMessage().contains("No space left on device") )
exitSystemWithUserError(new UserException.NoSpaceOnDevice());
// masked out of memory error
if ( t.getCause() != null && t.getCause() instanceof OutOfMemoryError )
exitSystemWithUserError(new UserException.NotEnoughMemory());
}
/**