diff options
author | Martin Robinson <mrobinson@igalia.com> | 2025-01-11 12:49:22 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2025-01-11 11:49:22 +0000 |
commit | 748954d610e5357b19506d0f9390bc769dd32213 (patch) | |
tree | 2e035c4dceefe825353cf6b4545d7d3387c98672 /resources/directory-listing.html | |
parent | e2be55b873e7bd28c7bd8f92688e7f2035611326 (diff) | |
download | servo-748954d610e5357b19506d0f9390bc769dd32213.tar.gz servo-748954d610e5357b19506d0f9390bc769dd32213.zip |
net: Use `RequestId` to cancel fetches instead of creating an IPC channel (#34883)
Instead of creating an IPC channel for every fetch, allow cancelling
fetches based on the `RequestId` of the original request. This requires
that `RequestId`s be UUIDs so that they are unique between processes
that might communicating with the resource process.
In addition, the resource process loop now keeps a `HashMap` or `Weak`
handles to cancellers and cleans them up.
This allows for creating mutiple `FetchCanceller`s in `script` for a
single fetch request, allowing integration of the media and video
elements to integrate with the `Document` canceller list -- meaning
these fetches also get cancelled when the `Document` unloads.
Signed-off-by: Martin Robinson <mrobinson@igalia.com>
Diffstat (limited to 'resources/directory-listing.html')
0 files changed, 0 insertions, 0 deletions