From e807094bfedd10aa8aedd7146d7bbe1cf7d60168 Mon Sep 17 00:00:00 2001
From: apvrille <ludovic.apvrille@eurecom.fr>
Date: Mon, 12 Jun 2017 15:57:10 +0200
Subject: [PATCH] Modif on URL manager
---
src/main/java/myutil/URLManager.java | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/main/java/myutil/URLManager.java b/src/main/java/myutil/URLManager.java
index 89a29adde2..c110fff0ac 100755
--- a/src/main/java/myutil/URLManager.java
+++ b/src/main/java/myutil/URLManager.java
@@ -63,6 +63,7 @@ public final class URLManager implements Runnable {
private CallbackLoaderInterface callback;
public URLManager() {
+ busy = false;
}
public synchronized boolean downloadFile(String _path, String _url, CallbackLoaderInterface _callback) {
@@ -94,6 +95,7 @@ public final class URLManager implements Runnable {
callback.loadFailed();
}
}
+ busy = false;
}
public static String getRealURL(String url) {
--
GitLab