Browse Source

Correctly handle logger flushing

pull/6/head
Adam Johnson 11 years ago
parent
commit
de5125b079
  1. 5
      korman/exporter/logger.py

5
korman/exporter/logger.py

@ -57,6 +57,11 @@ class ExportLogger:
sys.stdout = self._stdout sys.stdout = self._stdout
sys.stderr = self._stderr sys.stderr = self._stderr
def flush(self):
self._file.flush()
self._stdout.flush()
self._stderr.flush()
def write(self, str): def write(self, str):
self._file.write(str) self._file.write(str)
self._stdout.write(str) self._stdout.write(str)

Loading…
Cancel
Save