Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 14:10:11 +01:00
Code Issues Projects Releases Packages Wiki Activity

Make contentType optional in source actor source responses

Browse source 
This is allowed by the protocol docs, and eliminates an unwrap().

Co-authored-by: atbrakhi <atbrakhi@igalia.com>
Signed-off-by: Delan Azabani <dazabani@igalia.com>
This commit is contained in:
Delan Azabani 2025-07-29 18:09:29 +08:00
parent cc5a4d9436
commit b1503fe832
2 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

8
components/devtools/actors/source.rs
View file

@ -52,14 +52,14 @@ pub struct SourceActor {
pub is_black_boxed: bool, pub is_black_boxed: bool,
pub content: Option<String>, pub content: Option<String>,
pub content_type: String, pub content_type: Option<String>,
} }
#[derive(Serialize)] #[derive(Serialize)]
struct SourceContentReply { struct SourceContentReply {
from: String, from: String,
#[serde(rename = "contentType")] #[serde(rename = "contentType")]
content_type: String, content_type: Option<String>,
source: String, source: String,
} }
@ -90,7 +90,7 @@ impl SourceActor {
name: String, name: String,
url: ServoUrl, url: ServoUrl,
content: Option<String>, content: Option<String>,
content_type: String, content_type: Option<String>,
) -> SourceActor { ) -> SourceActor {
SourceActor { SourceActor {
name, name,
@ -106,7 +106,7 @@ impl SourceActor {
pipeline_id: PipelineId, pipeline_id: PipelineId,
url: ServoUrl, url: ServoUrl,
content: Option<String>, content: Option<String>,
content_type: String, content_type: Option<String>,
) -> &SourceActor { ) -> &SourceActor {
let source_actor_name = actors.new_name("source"); let source_actor_name = actors.new_name("source");

2
components/devtools/lib.rs
View file

@ -548,7 +548,7 @@ impl DevtoolsInstance {
pipeline_id, pipeline_id,
source_info.url, source_info.url,
source_info.content, source_info.content,
source_info.content_type.unwrap(), source_info.content_type,
); );
let source_actor_name = source_actor.name.clone(); let source_actor_name = source_actor.name.clone();
let source_form = source_actor.source_form(); let source_form = source_actor.source_form();