diff options
| -rw-r--r-- | src/planet.rs | 2 |
1 files changed, 1 insertions, 1 deletions
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(()) |