diff --git a/humility-dump-agent/src/lib.rs b/humility-dump-agent/src/lib.rs index efd7a3b73..95c251ea5 100644 --- a/humility-dump-agent/src/lib.rs +++ b/humility-dump-agent/src/lib.rs @@ -521,6 +521,10 @@ pub trait DumpAgentExt { // Read dump headers until the first empty header (DUMPER_NONE) let all = self.read_dump_headers(false)?; + if all.len() == 0 { + bail!("could not read dump; no dump found?"); + } + let area = match area { None => None, Some(DumpArea::ByIndex(ndx)) => Some(ndx),