X-Git-Url: https://git.argeo.org/?a=blobdiff_plain;f=src%2Forg%2Fargeo%2Fbuild%2FRepackage.java;h=9827b06622295d6bd97673b4c34a32834df01ab7;hb=c6808422dd2f159dbf17d6bf3e3cdfb49c54a6f8;hp=6f5fbf83e9083b250c793fea6adabaa023bc3401;hpb=833523463c7e9e4df022c821d7d16e4dcadad84a;p=cc0%2Fargeo-build.git diff --git a/src/org/argeo/build/Repackage.java b/src/org/argeo/build/Repackage.java index 6f5fbf8..9827b06 100644 --- a/src/org/argeo/build/Repackage.java +++ b/src/org/argeo/build/Repackage.java @@ -1343,15 +1343,17 @@ public class Repackage { } /** - * Effectively download. Synchronised in order to avoid downloading twice in - * parallel. + * Effectively download an archive. */ - synchronized Path downloadArchive(URL url, Path dir) throws IOException { + Path downloadArchive(URL url, Path dir) throws IOException { return download(url, dir, (String) null); } - /** Effectively download. */ - Path download(URL url, Path dir, String name) throws IOException { + /** + * Effectively download. Synchronised in order to avoid downloading twice in + * parallel. + */ + synchronized Path download(URL url, Path dir, String name) throws IOException { Path dest; if (name == null) {