Fix unknown rev not exiting with error code

This commit is contained in:
md_5 2020-08-18 18:02:02 +10:00
parent 19d26b6581
commit 777d69d0a6
No known key found for this signature in database
GPG key ID: E8E901AC7C617C11

View file

@ -320,6 +320,7 @@ public class Builder
{
System.err.println( "Could not get version " + askedVersion + " does it exist? Try another version or use 'latest'" );
ex.printStackTrace();
System.exit( 1 );
return;
}
System.out.println( "Found version" );