Synchronise all repackage downloads.
authorMathieu Baudier <mbaudier@argeo.org>
Thu, 7 Dec 2023 08:30:27 +0000 (09:30 +0100)
committerMathieu Baudier <mbaudier@argeo.org>
Thu, 7 Dec 2023 08:30:27 +0000 (09:30 +0100)
src/org/argeo/build/Repackage.java

index 6f5fbf83e9083b250c793fea6adabaa023bc3401..9827b06622295d6bd97673b4c34a32834df01ab7 100644 (file)
@@ -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) {