Fixing arguments for GZIPOutputStream
Dieser Commit ist enthalten in:
Ursprung
c8e796b2d6
Commit
5d49eaa0fd
@ -36,7 +36,7 @@ public class FileRecorder extends Recorder {
|
|||||||
File file = new File(world.getWorldFolder(), world.getName() + ".recording");
|
File file = new File(world.getWorldFolder(), world.getName() + ".recording");
|
||||||
try{
|
try{
|
||||||
file.createNewFile();
|
file.createNewFile();
|
||||||
outputStream = new DataOutputStream(new BufferedOutputStream(new GZIPOutputStream(new FileOutputStream(file)), 4096));
|
outputStream = new DataOutputStream(new BufferedOutputStream(new GZIPOutputStream(new FileOutputStream(file), 4096)));
|
||||||
}catch(IOException e){
|
}catch(IOException e){
|
||||||
throw new SecurityException("Could not open file", e);
|
throw new SecurityException("Could not open file", e);
|
||||||
}
|
}
|
||||||
|
In neuem Issue referenzieren
Einen Benutzer sperren