changeset 54732 | 2d012a75d35c |
parent 52381 | 7f90bc64b0fc |
54731:81de17a33575 | 54732:2d012a75d35c |
---|---|
191 |
191 |
192 @SuppressFBWarnings(value = "DM_DEFAULT_ENCODING", justification = "no localization here please!") |
192 @SuppressFBWarnings(value = "DM_DEFAULT_ENCODING", justification = "no localization here please!") |
193 private static void printConfigLine(CompilerToVM vm, String format, Object... args) { |
193 private static void printConfigLine(CompilerToVM vm, String format, Object... args) { |
194 String line = String.format(format, args); |
194 String line = String.format(format, args); |
195 byte[] lineBytes = line.getBytes(); |
195 byte[] lineBytes = line.getBytes(); |
196 vm.writeDebugOutput(lineBytes, 0, lineBytes.length); |
196 vm.writeDebugOutput(lineBytes, 0, lineBytes.length, true, true); |
197 vm.flushDebugOutput(); |
|
198 } |
197 } |
199 |
198 |
200 } |
199 } |