diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/mammoth | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/scripts/mammoth b/scripts/mammoth index be7ad10..f4865fb 100644 --- a/scripts/mammoth +++ b/scripts/mammoth @@ -34,24 +34,14 @@ def main(): convert_image=convert_image, output_format=args.output_format, ) - for message in _unique([message.message for message in result.messages]): - sys.stderr.write(message) + for message in result.messages: + sys.stderr.write(message.message) sys.stderr.write("\n") with _open_output(output_path) as output: output.write(result.value) -def _unique(values): - output = [] - seen = set() - for value in values: - if value not in seen: - seen.add(value) - output.append(value) - return output - - class ImageWriter(object): def __init__(self, output_dir): self._output_dir = output_dir |