Merge pull request #151 from OpenTriply/fixGzipExtCheck

allow .gz as input file extension
rdfhdt · Jan 7, 2018 · 2a4dc1b · 2a4dc1b
2 parents 6f0bbf4 + 543a41e
commit 2a4dc1b
Showing 1 changed file with 1 addition and 1 deletion.
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;