diff options
| author | Gregory Terzian <2792687+gterzian@users.noreply.github.com> | 2024-01-04 17:47:41 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-04 09:47:41 +0000 |
| commit | 90a9300f698aa266db47b336f3fcd7d6680b4d65 (patch) | |
| tree | 64f7f0b210d9eacc136f87af25ad6559100498e5 /python/servo/gstreamer.py | |
| parent | 2f6f03a3b5ab49368e27988960c78d8f7d5f1190 (diff) | |
| download | servo-90a9300f698aa266db47b336f3fcd7d6680b4d65.tar.gz servo-90a9300f698aa266db47b336f3fcd7d6680b4d65.zip | |
Script: ensure child JS runtimes are dropped before parent (#30896)
* clear js runtime of dedicated worker that immediately exits
* dedicated worker: clear js runtime if loading script fails
* when the script thread crashes, deallocate worker runtimes before dropping main runtime
* clear runtime if service worker script fails to load
* ensure worker enter their realm before executing script
Diffstat (limited to 'python/servo/gstreamer.py')
0 files changed, 0 insertions, 0 deletions