mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-25 13:49:48 +00:00
6d361b337b
This patch fixes an aliasing problem of the 'close' method signature that prevented the Input::Root_component::close method to be called. This way, the event-queue state was not reset at session-close time, which prevented a subsequent session-creation request to succeed. With the patch, input servers like ps2_drv, usb_drv that rely on the Input::Root_component support the dynamic re-opening of sessions. This happens in particular when using a dynamically configured input filter.