2011-02-20 03:14:15 +01:00
|
|
|
package net.minecraft.server;
|
|
|
|
|
|
|
|
import java.util.logging.ConsoleHandler;
|
|
|
|
import java.util.logging.FileHandler;
|
|
|
|
import java.util.logging.Level;
|
|
|
|
import java.util.logging.Logger;
|
|
|
|
|
2012-07-22 08:18:00 +02:00
|
|
|
import java.io.File; // CraftBukkit
|
2011-02-23 13:56:36 +01:00
|
|
|
|
2011-02-20 03:14:15 +01:00
|
|
|
public class ConsoleLogManager {
|
|
|
|
|
|
|
|
public static Logger a = Logger.getLogger("Minecraft");
|
2011-02-23 13:56:36 +01:00
|
|
|
public static Logger global = Logger.getLogger(""); // CraftBukkit
|
2011-02-20 03:14:15 +01:00
|
|
|
|
2011-05-14 16:29:42 +02:00
|
|
|
// CraftBukkit - change of method signature!
|
2011-04-20 19:05:14 +02:00
|
|
|
public static void init(MinecraftServer server) {
|
2012-05-16 03:18:35 +02:00
|
|
|
ConsoleLogFormatter consolelogformatter = new ConsoleLogFormatter(server.options.has("log-strip-color")); // CraftBukkit - pass strip color option
|
2011-02-20 03:14:15 +01:00
|
|
|
|
|
|
|
a.setUseParentHandlers(false);
|
2011-02-23 13:56:36 +01:00
|
|
|
// CraftBukkit start
|
2012-07-22 08:18:00 +02:00
|
|
|
ConsoleHandler consolehandler = new org.bukkit.craftbukkit.util.TerminalConsoleHandler(server.reader);
|
2011-03-31 22:40:00 +02:00
|
|
|
|
2012-07-22 08:18:00 +02:00
|
|
|
for (java.util.logging.Handler handler : global.getHandlers()) {
|
2011-02-20 03:14:15 +01:00
|
|
|
global.removeHandler(handler);
|
|
|
|
}
|
|
|
|
|
2012-07-22 08:18:00 +02:00
|
|
|
consolehandler.setFormatter(new org.bukkit.craftbukkit.util.ShortConsoleLogFormatter(server));
|
2011-03-31 22:40:00 +02:00
|
|
|
global.addHandler(consolehandler);
|
|
|
|
// CraftBukkit end
|
2011-04-20 19:05:14 +02:00
|
|
|
|
2011-02-20 03:14:15 +01:00
|
|
|
a.addHandler(consolehandler);
|
|
|
|
|
|
|
|
try {
|
2011-07-10 19:28:57 +02:00
|
|
|
// CraftBukkit start
|
2012-01-14 23:02:10 +01:00
|
|
|
String pattern = (String) server.options.valueOf("log-pattern");
|
2012-04-24 23:30:14 +02:00
|
|
|
|
|
|
|
// We have to parse the pattern ourself so we can create directories as needed (java #6244047)
|
|
|
|
String tmpDir = System.getProperty("java.io.tmpdir");
|
|
|
|
String homeDir = System.getProperty("user.home");
|
|
|
|
if (tmpDir == null) {
|
|
|
|
tmpDir = homeDir;
|
|
|
|
}
|
|
|
|
|
|
|
|
// We only care about parsing for directories, FileHandler can do file names by itself
|
|
|
|
File parent = new File(pattern).getParentFile();
|
|
|
|
StringBuilder fixedPattern = new StringBuilder();
|
2012-06-06 19:12:42 +02:00
|
|
|
String parentPath = "";
|
|
|
|
if (parent != null) {
|
|
|
|
parentPath = parent.getPath();
|
|
|
|
}
|
2012-04-24 23:30:14 +02:00
|
|
|
|
|
|
|
int i = 0;
|
|
|
|
while (i < parentPath.length()) {
|
|
|
|
char ch = parentPath.charAt(i);
|
|
|
|
char ch2 = 0;
|
|
|
|
if (i + 1 < parentPath.length()) {
|
|
|
|
ch2 = Character.toLowerCase(pattern.charAt(i + 1));
|
|
|
|
}
|
|
|
|
|
|
|
|
if (ch == '%') {
|
|
|
|
if (ch2 == 'h') {
|
|
|
|
i += 2;
|
|
|
|
fixedPattern.append(homeDir);
|
|
|
|
continue;
|
|
|
|
} else if (ch2 == 't') {
|
|
|
|
i += 2;
|
|
|
|
fixedPattern.append(tmpDir);
|
|
|
|
continue;
|
|
|
|
} else if (ch2 == '%') {
|
|
|
|
// Even though we don't care about this we have to skip it to avoid matching %%t
|
|
|
|
i += 2;
|
|
|
|
fixedPattern.append("%%");
|
|
|
|
continue;
|
|
|
|
} else if (ch2 != 0) {
|
|
|
|
throw new java.io.IOException("log-pattern can only use %t and %h for directories, got %" + ch2);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fixedPattern.append(ch);
|
|
|
|
i++;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Try to create needed parent directories
|
|
|
|
parent = new File(fixedPattern.toString());
|
|
|
|
if (parent != null) {
|
|
|
|
parent.mkdirs();
|
|
|
|
}
|
|
|
|
|
2012-09-10 06:19:28 +02:00
|
|
|
int limit = (Integer) server.options.valueOf("log-limit");
|
|
|
|
int count = (Integer) server.options.valueOf("log-count");
|
|
|
|
boolean append = (Boolean) server.options.valueOf("log-append");
|
2011-07-10 19:28:57 +02:00
|
|
|
FileHandler filehandler = new FileHandler(pattern, limit, count, append);
|
2012-01-12 19:43:34 +01:00
|
|
|
// CraftBukkit end
|
2011-02-20 03:14:15 +01:00
|
|
|
|
|
|
|
filehandler.setFormatter(consolelogformatter);
|
|
|
|
a.addHandler(filehandler);
|
2011-02-23 13:56:36 +01:00
|
|
|
global.addHandler(filehandler); // CraftBukkit
|
2011-02-20 03:14:15 +01:00
|
|
|
} catch (Exception exception) {
|
|
|
|
a.log(Level.WARNING, "Failed to log to server.log", exception);
|
|
|
|
}
|
|
|
|
}
|
2011-02-23 13:56:36 +01:00
|
|
|
}
|