diff --git a/repos/os/src/app/sequence/main.cc b/repos/os/src/app/sequence/main.cc index f5c8f8f780..ead37ab9a4 100644 --- a/repos/os/src/app/sequence/main.cc +++ b/repos/os/src/app/sequence/main.cc @@ -150,6 +150,7 @@ struct Sequence::Child : Genode::Child_policy void exit(int exit_value) override { _exit_value = exit_value; + _child.close_all_sessions(); _exit_transmitter.submit(); }