Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Remove deprecated remove function (#31213)

Browse source
This commit is contained in:
Taym Haddadi 2024-01-30 04:49:11 +01:00 • committed by GitHub
parent 2fbb120e94
commit 9b6c473695
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
components/script/script_module.rs
View file

@ -280,7 +280,9 @@ impl ModuleTree {
}
pub fn remove_incomplete_fetch_url(&self, dependency: ServoUrl) {
self.incomplete_fetch_urls.borrow_mut().remove(&dependency);
self.incomplete_fetch_urls
.borrow_mut()
.shift_remove(&dependency);
}
/// recursively checks if all of the transitive descendants are