fix: shutdown project_manager before restart

This commit is contained in:
CJ van den Berg 2024-04-08 22:28:08 +02:00
parent 184755a06f
commit 1c01773a09

View file

@ -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");
}