From 3eba052c1537f2f7ee7dfd67e7a56411961f893a Mon Sep 17 00:00:00 2001
From: CJ van den Berg <cj@vdbonline.com>
Date: Mon, 15 Apr 2024 21:29:27 +0200
Subject: [PATCH] fix: shutdown race if project_manager does not exit faster
 than tui

---
 src/tui/tui.zig | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/tui/tui.zig b/src/tui/tui.zig
index 492a24b..36108a2 100644
--- a/src/tui/tui.zig
+++ b/src/tui/tui.zig
@@ -59,6 +59,7 @@ init_timer: ?tp.timeout,
 sigwinch_signal: ?tp.signal = null,
 no_sleep: bool = false,
 mods: ModState = .{},
+final_exit: []const u8 = "normal",
 
 const idle_frames = 1;
 
@@ -237,16 +238,15 @@ fn receive_safe(self: *Self, from: tp.pid_ref, m: tp.message) tp.result {
     }
     if (try m.match(.{"quit"})) {
         project_manager.shutdown();
-        return tp.exit_normal();
     }
     if (try m.match(.{ "project_manager", "shutdown" })) {
-        return tp.exit_normal();
+        return tp.exit(self.final_exit);
     }
 
     if (try m.match(.{"restart"})) {
         _ = try self.mainview.msg(.{"write_restore_info"});
         project_manager.shutdown();
-        return tp.exit("restart");
+        self.final_exit = "restart";
     }
 
     if (try m.match(.{"sigwinch"})) {