diff options
Diffstat (limited to 'src/main/java/net/minecraft/server/PropertyManager.java')
-rw-r--r-- | src/main/java/net/minecraft/server/PropertyManager.java | 130 |
1 files changed, 0 insertions, 130 deletions
diff --git a/src/main/java/net/minecraft/server/PropertyManager.java b/src/main/java/net/minecraft/server/PropertyManager.java deleted file mode 100644 index c6cd6fb6..00000000 --- a/src/main/java/net/minecraft/server/PropertyManager.java +++ /dev/null @@ -1,130 +0,0 @@ -package net.minecraft.server; - -import java.io.File; -import java.io.FileInputStream; -import java.io.FileOutputStream; -import java.io.IOException; -import java.util.Properties; -import org.apache.logging.log4j.LogManager; -import org.apache.logging.log4j.Logger; - -import joptsimple.OptionSet; // CraftBukkit - -public class PropertyManager { - - private static final Logger loggingAgent = LogManager.getLogger(); - public final Properties properties = new Properties(); // CraftBukkit - private -> public - private final File c; - - public PropertyManager(File file1) { - this.c = file1; - if (file1.exists()) { - FileInputStream fileinputstream = null; - - try { - fileinputstream = new FileInputStream(file1); - this.properties.load(fileinputstream); - } catch (Exception exception) { - loggingAgent.warn("Failed to load " + file1, exception); - this.a(); - } finally { - if (fileinputstream != null) { - try { - fileinputstream.close(); - } catch (IOException ioexception) { - ; - } - } - } - } else { - loggingAgent.warn(file1 + " does not exist"); - this.a(); - } - } - - // CraftBukkit start - private OptionSet options = null; - - public PropertyManager(final OptionSet options) { - this((File) options.valueOf("config")); - - this.options = options; - } - - private <T> T getOverride(String name, T value) { - if ((this.options != null) && (this.options.has(name))) { - return (T) this.options.valueOf(name); - } - - return value; - } - // CraftBukkit end - - public void a() { - loggingAgent.info("Generating new properties file"); - this.savePropertiesFile(); - } - - public void savePropertiesFile() { - FileOutputStream fileoutputstream = null; - - try { - // CraftBukkit start - Don't attempt writing to file if it's read only - if (this.c.exists() && !this.c.canWrite()) { - return; - } - // CraftBukkit end - fileoutputstream = new FileOutputStream(this.c); - this.properties.store(fileoutputstream, "Minecraft server properties"); - } catch (Exception exception) { - loggingAgent.warn("Failed to save " + this.c, exception); - this.a(); - } finally { - if (fileoutputstream != null) { - try { - fileoutputstream.close(); - } catch (IOException ioexception) { - ; - } - } - } - } - - public File c() { - return this.c; - } - - public String getString(String s, String s1) { - if (!this.properties.containsKey(s)) { - this.properties.setProperty(s, s1); - this.savePropertiesFile(); - this.savePropertiesFile(); - } - - return this.getOverride(s, this.properties.getProperty(s, s1)); // CraftBukkit - } - - public int getInt(String s, int i) { - try { - return this.getOverride(s, Integer.parseInt(this.getString(s, "" + i))); // CraftBukkit - } catch (Exception exception) { - this.properties.setProperty(s, "" + i); - this.savePropertiesFile(); - return this.getOverride(s, i); // CraftBukkit - } - } - - public boolean getBoolean(String s, boolean flag) { - try { - return this.getOverride(s, Boolean.parseBoolean(this.getString(s, "" + flag))); // CraftBukkit - } catch (Exception exception) { - this.properties.setProperty(s, "" + flag); - this.savePropertiesFile(); - return this.getOverride(s, flag); // CraftBukkit - } - } - - public void setProperty(String s, Object object) { - this.properties.setProperty(s, "" + object); - } -} |