From 89c9e48f3c556aa7cdf2c80e8fc7aca03d0acfac Mon Sep 17 00:00:00 2001
From: Bryan Cantrill <bryan@oxide.computer>
Date: Sun, 5 Nov 2023 01:10:02 -0700
Subject: [PATCH] fix hubris#1558

---
 humility-dump-agent/src/lib.rs | 4 ++++
 1 file changed, 4 insertions(+)

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),