make u3m_stop reachable

pkg/vere/king.c

@@ -951,13 +951,6 @@ _king_loop_init()
   uv_timer_start(&u3K.tim_u, _boothack_cb, 0, 0);
 }
 
-/* _king_loop_exit(): cleanup after event loop
-*/
-void
-_king_loop_exit()
-{
-}
-
 static void
 _king_boot_ivory(void)
 {
@@ -1058,9 +1051,9 @@ u3_king_commence()
   //  run the loop
   //
   _king_loop_init();
+  // does not return becase u3_king_done does not return
+  //
   uv_run(u3L, UV_RUN_DEFAULT);
-  _king_loop_exit();
-  u3m_stop();
 }
 
 /* u3_king_stub(): get the One Pier for unreconstructed code.
@@ -1649,7 +1642,7 @@ _king_done_cb(uv_handle_t* han_u)
   }
 }
 
-/* u3_king_done(): all piers closed. s/b callback
+/* u3_king_done(): all piers closed. s/b callback. Does not return
 */
 void
 u3_king_done(void)
@@ -1714,6 +1707,7 @@ u3_king_done(void)
 
   //  XX remove move
   //
+  u3m_stop();
   exit(u3_Host.xit_i);
 }
 
@@ -1732,9 +1726,7 @@ u3_king_bail(void)
 {
   u3_Host.xit_i = 1;
   _king_forall_unlink(u3_pier_bail);
-  _king_loop_exit();
   u3_king_done();
-  exit(u3_Host.xit_i);
 }
 
 /* u3_king_grab(): gc the daemon

pkg/vere/main.c

@@ -2917,8 +2917,9 @@ _cw_boot(c3_i argc, c3_c* argv[])
   //  start reading
   //
   u3_newt_read(&inn_u);
+  // does not return because _mars_flush does not return
+  //
   uv_run(lup_u, UV_RUN_DEFAULT);
-  u3m_stop();
 }
 
 /* _cw_work(): resume and run; replay and start event processing
@@ -3054,8 +3055,8 @@ _cw_work(c3_i argc, c3_c* argv[])
   //  start reading
   //
   u3_newt_read(&inn_u);
+  // does not return becase _mars_flush does not return
   uv_run(lup_u, UV_RUN_DEFAULT);
-  u3m_stop();
 }
 
 

pkg/vere/mars.c

@@ -866,6 +866,7 @@ _mars_flush(u3_mars* mar_u)
 
       //  XX dispose [mar_u], exit cb ?
       //
+      u3m_stop();
       exit(0);
     }
   }