allow .gz as input file extension

LaurensRietveld · LaurensRietveld · commit 543a41e6aa29 · 2018-01-06T11:42:50.000+01:00
diff --git a/libhdt/tools/rdf2hdt.cpp b/libhdt/tools/rdf2hdt.cpp
@@ -170,7 +170,7 @@ int main(int argc, char **argv) {
          * didn't have any extension. The default format is defined at the top
          * of this file: RDFNotation notation = NTRIPLES;
          */
-        if (rdfFormat == "")
+        if (rdfFormat == "" || rdfFormat == "gz")
         {
             rdfFormat = "nt";
             vout << "No input format detected. Using default: NTRIPLES." << endl;

Original file line number	Diff line number	Diff line change
`@@ -170,7 +170,7 @@ int main(int argc, char **argv) {`
`170`	`170`	`* didn't have any extension. The default format is defined at the top`
`171`	`171`	`* of this file: RDFNotation notation = NTRIPLES;`
`172`	`172`	`*/`
`173`		`- if (rdfFormat == "")`
	`173`	`+ if (rdfFormat == "" \|\| rdfFormat == "gz")`
`174`	`174`	`{`
`175`	`175`	`rdfFormat = "nt";`
`176`	`176`	`vout << "No input format detected. Using default: NTRIPLES." << endl;`