From 2b99eb2cacf5ace72d87ba8de8085aba80a97d26 Mon Sep 17 00:00:00 2001
From: Bradley <bradleyr320@gmail.com>
Date: Fri, 29 Jul 2022 10:54:12 -0500
Subject: [PATCH] vere: changed to use u3_king_bail instead of manual term
 clean up

---
 pkg/urbit/vere/king.c | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/pkg/urbit/vere/king.c b/pkg/urbit/vere/king.c
index 3de0faa5fc..5739f74c18 100644
--- a/pkg/urbit/vere/king.c
+++ b/pkg/urbit/vere/king.c
@@ -577,10 +577,7 @@ _boothack_doom(void)
 
     if ( u3_nul == whu ) {
       u3l_log("boot: malformed -F ship %s\r\n", u3_Host.ops_u.fak_c);
-      
-      u3_term_log_exit();
-      fflush(stdout);
-
+      u3_king_bail();
       exit(1);
     }