projects
/
cc0
/
argeo-build.git
/ commitdiff
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
8335234
)
Synchronise all repackage downloads.
author
Mathieu Baudier <mbaudier@argeo.org>
Thu, 7 Dec 2023 08:30:27 +0000
(09:30 +0100)
committer
Mathieu Baudier <mbaudier@argeo.org>
Thu, 7 Dec 2023 08:30:27 +0000
(09:30 +0100)
src/org/argeo/build/Repackage.java
patch
|
blob
|
history
diff --git
a/src/org/argeo/build/Repackage.java
b/src/org/argeo/build/Repackage.java
index 6f5fbf83e9083b250c793fea6adabaa023bc3401..9827b06622295d6bd97673b4c34a32834df01ab7 100644
(file)
--- 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);
}
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) {
Path dest;
if (name == null) {