mirror of
https://github.com/servo/servo
synced 2026-05-11 17:37:21 +02:00
These keep-alive records live on the `CoreResourceManager` since the vec of records must be modified by the fetch thread. The script thread sometimes requires this information as well, which is why it can send a message to obtain the total size. The keep-alive records must be tracked per global. That's why all code needs to specify the `pipeline_id`. Requests optionally have this field, which is why the code expects it to be present. The relevant information is added to the navigator request to ensure it can compute it. Fixes #41230 Signed-off-by: Tim van der Lippe <tvanderlippe@gmail.com>
159 KiB
159 KiB