Skip to content

Commit

Permalink
fix(console): clean up console on exit
Browse files Browse the repository at this point in the history
Signed-off-by: Rudi Grinberg <[email protected]>

<!-- ps-id: 12e55e26-139f-4c14-a1c8-62a97001fbed -->
  • Loading branch information
rgrinberg committed Mar 11, 2023
1 parent 50387d3 commit ce26a30
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 0 deletions.
2 changes: 2 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,8 @@
Unreleased
----------

- Always clean up the UI on exit. (#7271, fixes #7142 @rgrinberg)

- Bootstrap: remove reliance on shell. Previously, we'd use the shell to get
the number of processors. (#7274, @rgrinberg)

Expand Down
2 changes: 2 additions & 0 deletions src/dune_console/dune_console.ml
Original file line number Diff line number Diff line change
Expand Up @@ -97,6 +97,8 @@ let finish () =
let (module M : Backend_intf.S) = !Backend.main in
M.finish ()

let () = at_exit finish

module Status_line = struct
type t =
| Live of (unit -> User_message.Style.t Pp.t)
Expand Down

0 comments on commit ce26a30

Please sign in to comment.