From c19c5ed0a4b1ca1e18d4c5a3b6f9fb03bf3f21e8 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Tue, 19 Mar 2019 09:42:24 +0000 Subject: [PATCH] wm: fix destroy with invalid handle Issue #3232 --- repos/gems/src/server/wm/nitpicker.h | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/repos/gems/src/server/wm/nitpicker.h b/repos/gems/src/server/wm/nitpicker.h index e9860bf83d..ff9cf3d6d4 100644 --- a/repos/gems/src/server/wm/nitpicker.h +++ b/repos/gems/src/server/wm/nitpicker.h @@ -917,10 +917,9 @@ class Wm::Nitpicker::Session_component : public Rpc_object, Locked_ptr view(_view_handle_registry.lookup(handle)); if (view.valid()) _destroy_view_object(*view); - } - catch (View_handle_registry::Lookup_failed) { } - _view_handle_registry.free(handle); + _view_handle_registry.free(handle); + } catch (View_handle_registry::Lookup_failed) { } } View_handle view_handle(View_capability view_cap, View_handle handle) override