Skip to content

devtools: Make contentType optional in source actor source responses#38330

Merged
delan merged 1 commit into
servo:mainfrom
atbrakhi:content_type_optional
Jul 29, 2025
Merged

devtools: Make contentType optional in source actor source responses#38330
delan merged 1 commit into
servo:mainfrom
atbrakhi:content_type_optional

Conversation

@atbrakhi
Copy link
Copy Markdown
Member

@atbrakhi atbrakhi commented Jul 29, 2025

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

Testing: does not get exercised yet, but will be used in #37667
Fixes: part of #36027

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

Co-authored-by: atbrakhi <[email protected]>
Signed-off-by: Delan Azabani <[email protected]>
@atbrakhi atbrakhi requested a review from delan July 29, 2025 10:36
@delan delan enabled auto-merge July 29, 2025 10:36
@delan delan added this pull request to the merge queue Jul 29, 2025
@delan delan removed this pull request from the merge queue due to a manual request Jul 29, 2025
@delan delan added this pull request to the merge queue Jul 29, 2025
Merged via the queue into servo:main with commit 4ef15ec Jul 29, 2025
23 checks passed
minghuaw pushed a commit to minghuaw/servo that referenced this pull request Aug 1, 2025
…ervo#38330)

This is allowed by the [protocol
docs](https://firefox-source-docs.mozilla.org/devtools/backend/protocol.html#loading-script-sources),
and eliminates an unwrap().

Testing: does not get exercised yet, but will be used in servo#37667 
Fixes: part of servo#36027

Signed-off-by: Delan Azabani <[email protected]>
Co-authored-by: Delan Azabani <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants