mirror of
https://github.com/servo/servo.git
synced 2025-07-24 15:50:21 +01:00
fix presentation belt
This commit is contained in:
parent
1f4a18b995
commit
40288783a1
1 changed files with 9 additions and 6 deletions
|
@ -1127,17 +1127,20 @@ impl<'a> WGPU<'a> {
|
||||||
status: BufferMapAsyncStatus,
|
status: BufferMapAsyncStatus,
|
||||||
userdata: *mut u8,
|
userdata: *mut u8,
|
||||||
) {
|
) {
|
||||||
let info =
|
let info = Rc::from_raw(
|
||||||
Rc::from_raw(userdata as *const BufferMapInfo<WebGPURequest>);
|
userdata
|
||||||
|
as *const BufferMapInfo<(Option<ErrorScopeId>, WebGPURequest)>,
|
||||||
|
);
|
||||||
match status {
|
match status {
|
||||||
BufferMapAsyncStatus::Success => {
|
BufferMapAsyncStatus::Success => {
|
||||||
if let Err(e) =
|
if let Err(e) = info.sender.send((
|
||||||
info.sender.send(WebGPURequest::UpdateWebRenderData {
|
None,
|
||||||
|
WebGPURequest::UpdateWebRenderData {
|
||||||
buffer_id: info.buffer_id,
|
buffer_id: info.buffer_id,
|
||||||
buffer_size: info.size,
|
buffer_size: info.size,
|
||||||
external_id: info.external_id.unwrap(),
|
external_id: info.external_id.unwrap(),
|
||||||
})
|
},
|
||||||
{
|
)) {
|
||||||
warn!("Could not send UpdateWebRenderData ({})", e);
|
warn!("Could not send UpdateWebRenderData ({})", e);
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue