[RevisionMachine] nfer dump type from file extension in ConfigGUI

ColdMillenium / jwpl

Automatically exported from code.google.com/p/jwpl

0 stars 0 forks source link

[RevisionMachine] nfer dump type from file extension in ConfigGUI #111

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

The input type of the dump that is processed by the DiffTool has to be 
explicitly defined.
However, this is easily overseen. On many occasions, people using compressed 
dumps left the type set to XML.

We should infer the type from the dump file extension (xml/bz2/7z)

Original issue reported on code.google.com by oliver.ferschke on 19 Mar 2013 at 4:43