diff --git a/repos/os/include/audio_in_session/client.h b/repos/os/include/audio_in_session/client.h index 1198c6953a..8267178fbf 100644 --- a/repos/os/include/audio_in_session/client.h +++ b/repos/os/include/audio_in_session/client.h @@ -33,6 +33,7 @@ struct Audio_in::Signal Genode::Signal_context_capability cap; Signal() : cap(recv.manage(&context)) { } + ~Signal() { recv.dissolve(&context); } void wait() { recv.wait_for_signal(); } }; diff --git a/repos/os/include/audio_out_session/client.h b/repos/os/include/audio_out_session/client.h index 95c92511e3..c1b3ad886b 100644 --- a/repos/os/include/audio_out_session/client.h +++ b/repos/os/include/audio_out_session/client.h @@ -31,6 +31,7 @@ struct Audio_out::Signal Genode::Signal_context_capability cap; Signal() : cap(recv.manage(&context)) { } + ~Signal() { recv.dissolve(&context); } void wait() { recv.wait_for_signal(); } };