Merge remote-tracking branch 'upstream/master' into develop

This commit is contained in:
Romain Dorgueil
2017-07-15 12:23:16 +02:00

View File

@ -23,6 +23,9 @@ class IOBuffer():
finally:
previous.close()
def flush(self):
self.current.flush()
class ConsoleOutputPlugin(Plugin):
"""