From 1c01773a0995d179239a4f461480b9be0ce0b880 Mon Sep 17 00:00:00 2001
From: CJ van den Berg <cj@vdbonline.com>
Date: Mon, 8 Apr 2024 22:28:08 +0200
Subject: [PATCH] fix: shutdown project_manager before restart

---
 src/tui/tui.zig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tui/tui.zig b/src/tui/tui.zig
index 82bb1fa..f80ed73 100644
--- a/src/tui/tui.zig
+++ b/src/tui/tui.zig
@@ -245,6 +245,7 @@ fn receive_safe(self: *Self, from: tp.pid_ref, m: tp.message) tp.result {
 
     if (try m.match(.{"restart"})) {
         _ = try self.mainview.msg(.{"write_restore_info"});
+        project_manager.shutdown();
         return tp.exit("restart");
     }