From 36cb8b5e4ead9316883810d99ee4f9fdaeddac1b Mon Sep 17 00:00:00 2001 From: Cara Salter Date: Fri, 10 Jun 2022 14:56:19 -0400 Subject: planet: Make deathstar hard shutdown --- src/planet.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/planet.rs b/src/planet.rs index 8775f15..6ba795f 100644 --- a/src/planet.rs +++ b/src/planet.rs @@ -305,7 +305,7 @@ impl Planet { } }; - self.shutdown()?; + self.hard_shutdown()?; d.undefine()?; Ok(()) -- cgit v1.2.3