Files
LogBlock/src/de/diddiz/util/Utils.java
T

121 lines
4.0 KiB
Java
Raw Normal View History

2011-05-22 04:01:43 +02:00
package de.diddiz.util;
import java.io.BufferedOutputStream;
2011-06-11 16:14:13 +02:00
import java.io.BufferedReader;
2011-05-22 04:01:43 +02:00
import java.io.File;
2011-06-01 14:13:08 +02:00
import java.io.FileNotFoundException;
2011-05-22 04:01:43 +02:00
import java.io.FileOutputStream;
import java.io.IOException;
2011-05-22 04:01:43 +02:00
import java.io.InputStream;
2011-06-11 16:14:13 +02:00
import java.io.InputStreamReader;
2011-05-22 04:01:43 +02:00
import java.io.OutputStream;
import java.net.URL;
import java.text.ParseException;
import java.text.SimpleDateFormat;
2011-06-01 14:13:08 +02:00
import java.util.logging.Logger;
2011-05-22 04:01:43 +02:00
public class Utils
{
2011-06-01 14:13:08 +02:00
public static void download(Logger log, URL url, File file) throws IOException {
2011-05-22 04:01:43 +02:00
if (!file.getParentFile().exists())
file.getParentFile().mkdir();
if (file.exists())
file.delete();
file.createNewFile();
2011-06-01 14:13:08 +02:00
final int size = url.openConnection().getContentLength();
log.info("Downloading " + file.getName() + " (" + size / 1024 + "kb) ...");
final InputStream in = url.openStream();
2011-05-22 04:01:43 +02:00
final OutputStream out = new BufferedOutputStream(new FileOutputStream(file));
final byte[] buffer = new byte[1024];
2011-06-01 14:13:08 +02:00
int len, downloaded = 0, msgs = 0;
final long start = System.currentTimeMillis();
while ((len = in.read(buffer)) >= 0) {
2011-05-22 04:01:43 +02:00
out.write(buffer, 0, len);
2011-06-01 14:13:08 +02:00
downloaded += len;
if ((int)((System.currentTimeMillis() - start) / 500) > msgs) {
log.info((int)((double)downloaded / (double)size * 100d) + "%");
msgs++;
}
}
2011-05-22 04:01:43 +02:00
in.close();
out.close();
2011-06-01 14:13:08 +02:00
log.info("Download finished");
}
public static void downloadIfNotExists(Logger log, File file, URL url) throws IOException {
if (!file.exists() || file.length() == 0)
Utils.download(log, url, file);
if (!file.exists() || file.length() == 0)
throw new FileNotFoundException(file.getAbsolutePath() + file.getName());
2011-05-22 04:01:43 +02:00
}
2011-06-11 16:14:13 +02:00
public static String readURL(URL url) throws IOException {
final StringBuilder content = new StringBuilder();
final BufferedReader in = new BufferedReader(new InputStreamReader(url.openStream()));
String inputLine;
while ((inputLine = in.readLine()) != null)
content.append(inputLine);
in.close();
return content.toString();
}
2011-05-22 04:01:43 +02:00
public static boolean isInt(String str) {
try {
Integer.parseInt(str);
return true;
} catch (final NumberFormatException ex) {}
return false;
}
public static int parseTimeSpec(String[] spec) {
if (spec == null || spec.length < 1 || spec.length > 2)
return -1;
2011-06-07 00:06:34 +02:00
if (!spec[0].contains(":") && !spec[0].contains("."))
2011-05-22 04:01:43 +02:00
if (spec.length == 2) {
if (!isInt(spec[0]))
return -1;
int min = Integer.parseInt(spec[0]);
if (spec[1].startsWith("h"))
min *= 60;
else if (spec[1].startsWith("d"))
min *= 1440;
return min;
} else if (spec.length == 1) {
int days = 0, hours = 0, minutes = 0;
int lastIndex = 0, currIndex = 1;
while (currIndex <= spec[0].length()) {
while (currIndex <= spec[0].length() && isInt(spec[0].substring(lastIndex, currIndex)))
currIndex++;
if (currIndex - 1 != lastIndex) {
final String param = spec[0].substring(currIndex - 1, currIndex).toLowerCase();
if (param.equals("d"))
days = Integer.parseInt(spec[0].substring(lastIndex, currIndex - 1));
else if (param.equals("h"))
hours = Integer.parseInt(spec[0].substring(lastIndex, currIndex - 1));
else if (param.equals("m"))
minutes = Integer.parseInt(spec[0].substring(lastIndex, currIndex - 1));
lastIndex = currIndex;
currIndex++;
}
}
if (days == 0 && hours == 0 && minutes == 0)
return -1;
return minutes + hours * 60 + days * 1440;
} else
return -1;
final String timestamp;
if (spec.length == 1) {
if (spec[0].contains(":"))
timestamp = new SimpleDateFormat("dd.MM.yyyy").format(System.currentTimeMillis()) + " " + spec[0];
else
timestamp = spec[0] + " 00:00:00";
} else
timestamp = spec[0] + " " + spec[1];
try {
return (int)((System.currentTimeMillis() - new SimpleDateFormat("dd.MM.yyyy HH:mm:ss").parse(timestamp).getTime()) / 60000);
} catch (final ParseException ex) {
return -1;
}
}
}