Re: [PATCH 1/2 v2] * avoid downloading tomcat if it already exists

Hello Nadav/All, Indeed, '-nc' leaves the partial file :( So, '-c' it is :) I'll prepare another patch with that Also, I'm preparing some patches to upgrade tomcat from 8.0.15 to 8.0.48 Please, let me know if you happen to have any instruction when submitting the patches Specially because this

Re: [PATCH 1/2 v2] * avoid downloading tomcat if it already exists

On Thu, Jan 11, 2018 at 11:09 PM, geraldo netto wrote: > Signed-off-by: geraldo netto > --- > tomcat/GET | 9 - > 1 file changed, 8 insertions(+), 1 deletion(-) > > diff --git a/tomcat/GET b/tomcat/GET > index b96d963..07247d9 100755 >

[PATCH 1/2 v2] * avoid downloading tomcat if it already exists

Signed-off-by: geraldo netto --- tomcat/GET | 9 - 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/tomcat/GET b/tomcat/GET index b96d963..07247d9 100755 --- a/tomcat/GET +++ b/tomcat/GET @@ -8,7 +8,14 @@ archive=$dir.tar.gz mkdir -p upstream pushd