Removed a warning + made case-insensitive the default

for Wikidata
ad-freiburg · Apr 9, 2019 · 4b0acf7 · 4b0acf7
1 parent 636e36a
commit 4b0acf7
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 1 deletion.
diff --git a/src/engine/Filter.cpp b/src/engine/Filter.cpp
@@ -536,6 +536,8 @@ void Filter::computeResultFixedValue(
                     '\"' + std::string(split2.val) + '\"' + "@" + char(127);
               }
             } break;
+            default:
+              break;
           }
         }
       }

diff --git a/src/index/IndexBuilderMain.cpp b/src/index/IndexBuilderMain.cpp
@@ -207,6 +207,8 @@ int main(int argc, char** argv) {
         cout << endl
              << "! ERROR in processing options (getopt returned '" << c
              << "' = 0x" << std::setbase(16) << c << ")" << endl
+             << "Corresponding ascii option : -" << std::string(1, c) << endl
+             << "This is either an unsupported option or there was an error"
              << endl;
         exit(1);
     }

diff --git a/wikidata_settings.json b/wikidata_settings.json
@@ -4,5 +4,6 @@
     "<http://www.wikidata.org/entity/statement",
     "<http://www.wikidata.org/value",
     "<http://www.wikidata.org/reference"
-  ]
+  ],
+  "ignore-case": true
 }