Write debug information via buffered stream

This commit is contained in:
Alexey Andreev 2017-02-26 13:51:19 +03:00
parent 17113533fc
commit a48e3fbd61

View File

@ -15,6 +15,7 @@
*/ */
package org.teavm.tooling; package org.teavm.tooling;
import java.io.BufferedOutputStream;
import java.io.File; import java.io.File;
import java.io.FileOutputStream; import java.io.FileOutputStream;
import java.io.IOException; import java.io.IOException;
@ -487,8 +488,8 @@ public class TeaVMTool implements BaseTeaVMTool {
if (debugInformationGenerated) { if (debugInformationGenerated) {
assert debugEmitter != null; assert debugEmitter != null;
DebugInformation debugInfo = debugEmitter.getDebugInformation(); DebugInformation debugInfo = debugEmitter.getDebugInformation();
try (OutputStream debugInfoOut = new FileOutputStream(new File(targetDirectory, try (OutputStream debugInfoOut = new BufferedOutputStream(new FileOutputStream(new File(targetDirectory,
getResolvedTargetFileName() + ".teavmdbg"))) { getResolvedTargetFileName() + ".teavmdbg")))) {
debugInfo.write(debugInfoOut); debugInfo.write(debugInfoOut);
} }
log.info("Debug information successfully written"); log.info("Debug information successfully written");