Fix minor glitch in bootstrap download messages

This commit is contained in:
Alexandre Archambault 2016-02-24 20:42:13 +01:00
parent 0b38b0bc00
commit 52675384c7
1 changed files with 4 additions and 1 deletions

View File

@ -217,6 +217,8 @@ public class Bootstrap {
});
}
String clearLine = "\033[2K";
try {
while (localURLs.size() < urls.size()) {
Future<URL> future = completionService.take();
@ -224,7 +226,6 @@ public class Bootstrap {
URL url = future.get();
localURLs.add(url);
int nowMissing = urls.size() - localURLs.size();
String clearLine = "\033[2K";
String up = "\033[1A";
System.err.print(clearLine + "Downloaded " + (missingURLs.size() - nowMissing) + " missing file(s) / " + missingURLs.size() + "\n" + up);
} catch (ExecutionException ex) {
@ -236,6 +237,8 @@ public class Bootstrap {
exit("Interrupted");
}
System.err.print(clearLine);
return localURLs;
}