diff options
author | Delan Azabani <dazabani@igalia.com> | 2025-02-20 16:31:44 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2025-02-20 08:31:44 +0000 |
commit | 9887ad369d65eb362db21c778ae5f00aad74db6c (patch) | |
tree | db6ba8f53c29617af087bec9f17f9137b896cc34 /components/script/dom/elementinternals.rs | |
parent | 7831bced76d9fa4c6bd1b86ac038e9c3a283eb30 (diff) | |
download | servo-9887ad369d65eb362db21c778ae5f00aad74db6c.tar.gz servo-9887ad369d65eb362db21c778ae5f00aad74db6c.zip |
libservo: Clean up destroyed webview handles (#35547)
When the embedder drops the last WebView handle, the webview is
destroyed, but the weak handle in libservo never gets cleaned up.
This patch adds a step to `spin_event_loop` that cleans up any weak
handles that have been destroyed. In theory, checking the strong count
should be more efficient than trying to upgrade each handle (only to
throw away the strong handle).
Signed-off-by: Delan Azabani <dazabani@igalia.com>
Diffstat (limited to 'components/script/dom/elementinternals.rs')
0 files changed, 0 insertions, 0 deletions