Skip to content

Expose a way to manually set BOOTSTRAP_PREFIX#426

Merged
jdm merged 1 commit intoservo:mainfrom
ChristianBelloni:main
Nov 20, 2025
Merged

Expose a way to manually set BOOTSTRAP_PREFIX#426
jdm merged 1 commit intoservo:mainfrom
ChristianBelloni:main

Conversation

@ChristianBelloni
Copy link
Copy Markdown
Contributor

To be able to use this library in a sandboxed environment the prefix has to adhere to a specific format, here's a link to a relevant SO discussion

I have no idea what would be the ideal approach to correctly expose the bootstrap prefix, in this pr it's basically slapped on in lib.rs, if this is a use case that you'd like to support let me know any changes needed to merge

Copy link
Copy Markdown
Member

@jdm jdm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This seems like a reasonable way to support this.

@jdm jdm enabled auto-merge November 20, 2025 19:44
@jdm jdm added this pull request to the merge queue Nov 20, 2025
@ChristianBelloni
Copy link
Copy Markdown
Contributor Author

Awesome! thanks for the swift reply

Merged via the queue into servo:main with commit 2ef0ed7 Nov 20, 2025
16 checks passed
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