mirror of
https://github.com/servo/servo.git
synced 2025-08-02 20:20:14 +01:00
more concise
This commit is contained in:
parent
733019e029
commit
94ea422404
1 changed files with 5 additions and 7 deletions
|
@ -844,13 +844,11 @@ pub fn http_fetch(
|
|||
.ok()
|
||||
});
|
||||
|
||||
// Substep 4.
|
||||
if let Some(ref mut location) = location {
|
||||
if let Ok(ref mut location) = location {
|
||||
if location.fragment().is_none() {
|
||||
let current_url = request.current_url();
|
||||
location.set_fragment(current_url.fragment());
|
||||
}
|
||||
// Substep 4.
|
||||
if let Some(Ok(ref mut location)) = location {
|
||||
if location.fragment().is_none() {
|
||||
let current_url = request.current_url();
|
||||
location.set_fragment(current_url.fragment());
|
||||
}
|
||||
}
|
||||
response.actual_response_mut().location_url = location;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue