mirror of
https://github.com/servo/servo.git
synced 2025-07-22 23:03:42 +01:00
Remove CoreResourceMsg::Synchronize
(#37019)
This message is unused. Signed-off-by: Simon Wülker <simon.wuelker@arcor.de>
This commit is contained in:
parent
f7b16730be
commit
33a68eb2d5
2 changed files with 0 additions and 5 deletions
|
@ -445,9 +445,6 @@ impl ResourceChannelManager {
|
|||
history_states.remove(&history_state);
|
||||
}
|
||||
},
|
||||
CoreResourceMsg::Synchronize(sender) => {
|
||||
let _ = sender.send(());
|
||||
},
|
||||
CoreResourceMsg::ClearCache => {
|
||||
http_state.http_cache.write().unwrap().clear();
|
||||
},
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue