Check if file exists in dump-info tool

ecmwf · Jan 9, 2025 · 64348b0 · 64348b0
1 parent 042bd59
commit 64348b0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/tools/gribjump-dump-info.cc b/src/tools/gribjump-dump-info.cc
@@ -39,6 +39,9 @@ void DumpInfo::usage(const std::string &tool) const {
 void DumpInfo::execute(const eckit::option::CmdArgs &args) {
     for (size_t i = 0; i < args.count(); i++) {
         eckit::PathName file(args(i));
+        if (!file.exists()) {
+            throw eckit::UserError("File not found", file);
+        }
         IndexFile index = IndexFile(file);
         index.print(std::cout);
     }