Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Media thread #13

Merged
merged 4 commits into from May 22, 2018
Merged

Media thread #13

merged 4 commits into from May 22, 2018

Conversation

@ferjm
Copy link
Member

ferjm commented May 19, 2018

At some point we may want to use a dedicated process instead, but for now a thread for all media related stuff seems enough and paves the way for the potential upgrade to a process.

@ferjm ferjm requested a review from Manishearth May 19, 2018
@Manishearth
Copy link
Member

Manishearth commented May 21, 2018

Do we need a mutex here? The way I see it this will be run off an event loop so there doesn't have to be a mutex.

@ferjm ferjm force-pushed the ferjm:media.thread branch from 4aeec2a to 75175c1 May 22, 2018
@ferjm ferjm merged commit 9773389 into servo:master May 22, 2018
@ferjm ferjm deleted the ferjm:media.thread branch May 22, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
You can’t perform that action at this time.