ahrensan79600/Aufgabe7_bandit
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

gesäubert

Browse Source
This commit is contained in:
ahren 2023-11-28 11:53:07 +01:00
parent 5f5bceb3b8
commit dc4291d47a
2 changed files with 2 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/bandit/Model/Wuerfel.java
View File

@ -11,8 +11,7 @@ import java.util.concurrent.Flow.Subscriber;
import java.util.concurrent.SubmissionPublisher; import java.util.concurrent.SubmissionPublisher;
import java.util.logging.Logger; import java.util.logging.Logger;
import bandit.util.OhmLogger; import bandit.util.OhmLogger;
import java.util.HashSet;
import java.util.Set;
/** /**
* *

9
src/bandit/util/OhmLogger.java
View File

@ -8,10 +8,7 @@ package bandit.util;
import java.io.IOException; import java.io.IOException;
import java.io.InputStream; import java.io.InputStream;
import java.time.LocalDateTime; import java.time.LocalDateTime;
import java.util.Map;
import java.util.Properties; import java.util.Properties;
import java.util.Set;
//import java.util.Properties;
import java.util.logging.*; import java.util.logging.*;
/** /**
@ -57,15 +54,12 @@ public class OhmLogger
Properties properties = new Properties(); Properties properties = new Properties();
properties.load(configFile); properties.load(configFile);
java.util.logging.Level classLogLevel = java.util.logging.Level.parse(properties.getProperty("log.level")); java.util.logging.Level classLogLevel = java.util.logging.Level.parse(properties.getProperty("log.level"));
ConsoleHandler ch = new ConsoleHandler(); ConsoleHandler ch = new ConsoleHandler();
ch.setFormatter(new OhmFormatter()); ch.setFormatter(new OhmFormatter());
lg.setUseParentHandlers(false); lg.setUseParentHandlers(false);
lg.getHandlers(); lg.getHandlers();
lg.addHandler(ch); lg.addHandler(ch);
lg.setLevel(classLogLevel); lg.setLevel(classLogLevel);
String logDirectory = properties.getProperty("log.directory"); String logDirectory = properties.getProperty("log.directory");
@ -74,8 +68,7 @@ public class OhmLogger
FileHandler fileHandler = new FileHandler(logDirectory + "/" + logFileName, true); FileHandler fileHandler = new FileHandler(logDirectory + "/" + logFileName, true);
fileHandler.setFormatter(new OhmFormatter()); fileHandler.setFormatter(new OhmFormatter());
lg.addHandler(fileHandler); lg.addHandler(fileHandler);
} else { } else {
System.err.println("Unable to find config.properties file. OhmLogger will use default settings."); System.err.println("Unable to find config.properties file. OhmLogger will use default settings.");
} }