add flush() on publish()

This commit is contained in:
Volker Berlin 2019-07-23 21:50:22 +02:00
parent d32244c60c
commit b934de9556

View File

@ -91,7 +91,13 @@ public class JWebAssembly {
return record.getMessage() + '\n'; return record.getMessage() + '\n';
} }
}; };
StreamHandler handler = new StreamHandler( System.out, formatter ); StreamHandler handler = new StreamHandler( System.out, formatter ) {
@Override
public void publish(LogRecord record) {
super.publish(record);
flush();
}
};
handler.setLevel( Level.ALL ); handler.setLevel( Level.ALL );
LOGGER.addHandler( handler ); LOGGER.addHandler( handler );
//LOGGER.setLevel( Level.FINE ); //LOGGER.setLevel( Level.FINE );