mirror of
https://github.com/servo/servo.git
synced 2025-09-30 08:39:16 +01:00
Replace remutex
with parking_lot
's ReentrantMutex
(#31817)
Many things in Servo depend on `parking_lot`, so we can replace our homegrown remutex with `parking_lot`'s version. Fixes #12641.
This commit is contained in:
parent
8882507ad0
commit
34dd38b4cb
7 changed files with 5 additions and 388 deletions
|
@ -35,13 +35,13 @@ metrics = { path = "../metrics" }
|
|||
msg = { workspace = true }
|
||||
net = { path = "../net" }
|
||||
net_traits = { workspace = true }
|
||||
parking_lot = { workspace = true }
|
||||
profile_traits = { workspace = true }
|
||||
script_layout_interface = { workspace = true }
|
||||
script_traits = { workspace = true }
|
||||
serde = { workspace = true }
|
||||
servo_config = { path = "../config" }
|
||||
servo_rand = { path = "../rand" }
|
||||
servo_remutex = { path = "../remutex" }
|
||||
servo_url = { path = "../url" }
|
||||
style_traits = { workspace = true }
|
||||
webgpu = { path = "../webgpu" }
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue