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

133 lines
4.3 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;
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) {
2011-07-09 15:47:38 +02:00
log.info((int)(downloaded / (double)size * 100d) + "%");
2011-06-01 14:13:08 +02:00
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");
}
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;
}
2011-06-29 01:25:48 +02:00
public static String listing(String[] entries, String delimiter, String finalDelimiter) {
final int len = entries.length;
if (len == 0)
return "";
if (len == 1)
return entries[0];
final StringBuilder builder = new StringBuilder(entries[0]);
for (int i = 1; i < len - 1; i++)
builder.append(delimiter + entries[i]);
builder.append(finalDelimiter + entries[len - 1]);
return builder.toString();
}
2011-05-22 04:01:43 +02:00
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++;
2011-05-22 04:01:43 +02:00
}
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;
}
}
public static String spaces(int count) {
final StringBuilder filled = new StringBuilder(count);
for (int i = 0; i < count; i++)
filled.append(' ');
return filled.toString();
}
2011-05-22 04:01:43 +02:00
}