twin/paper-mc
1
0
Fork 0
mirror of https://github.com/PaperMC/Paper.git synced 2025-08-16 20:53:54 -07:00
Code Issues Packages Projects Releases Wiki Activity

Update CraftBukkit to Minecraft 1.3.1

Browse Source
This commit is contained in:
feildmaster
2012-07-29 02:33:13 -05:00
committed by Travis Watkins
parent 08e2923bd4
commit a43d621c01
240 changed files with 10763 additions and 9150 deletions
Download Patch File Download Diff File Expand all files Collapse all files

34
src/main/java/net/minecraft/server/PropertyManager.java
View File

@@ -3,6 +3,7 @@ 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 java.util.logging.Level;
import java.util.logging.Logger;
@@ -12,17 +13,28 @@ import joptsimple.OptionSet; // CraftBukkit
public class PropertyManager {
public static Logger a = Logger.getLogger("Minecraft");
public Properties properties = new Properties(); // CraftBukkit - priv to pub
public Properties properties = new Properties(); // CraftBukkit - private -> public
private File c;
public PropertyManager(File file1) {
this.c = file1;
if (file1.exists()) {
FileInputStream fileinputstream = null;
try {
this.properties.load(new FileInputStream(file1));
fileinputstream = new FileInputStream(file1);
this.properties.load(fileinputstream);
} catch (Exception exception) {
a.log(Level.WARNING, "Failed to load " + file1, exception);
this.a();
} finally {
if (fileinputstream != null) {
try {
fileinputstream.close();
} catch (IOException ioexception) {
;
}
}
}
} else {
a.log(Level.WARNING, file1 + " does not exist");
@@ -54,11 +66,22 @@ public class PropertyManager {
}
public void savePropertiesFile() {
FileOutputStream fileoutputstream = null;
try {
this.properties.store(new FileOutputStream(this.c), "Minecraft server properties");
fileoutputstream = new FileOutputStream(this.c);
this.properties.store(fileoutputstream, "Minecraft server properties");
} catch (Exception exception) {
a.log(Level.WARNING, "Failed to save " + this.c, exception);
this.a();
} finally {
if (fileoutputstream != null) {
try {
fileoutputstream.close();
} catch (IOException ioexception) {
;
}
}
}
}
@@ -99,9 +122,4 @@ public class PropertyManager {
public void a(String s, Object object) {
this.properties.setProperty(s, "" + object);
}
public void setBoolean(String s, boolean flag) {
this.properties.setProperty(s, "" + flag);
this.savePropertiesFile();
}
}