diff options
| author | Kunal Mohan <kunalmohan99@gmail.com> | 2020-05-26 12:30:28 +0530 |
|---|---|---|
| committer | Kunal Mohan <kunalmohan99@gmail.com> | 2020-05-26 19:16:46 +0530 |
| commit | f4d01835680f3be9e52ebbc4a74f490542759f78 (patch) | |
| tree | 2e2681124b3c469b221ce526d4ada2ce0e68a469 /components/webgpu/identity.rs | |
| parent | a3446579ec44a9218e95b09258bf1515073039e9 (diff) | |
| download | servo-f4d01835680f3be9e52ebbc4a74f490542759f78.tar.gz servo-f4d01835680f3be9e52ebbc4a74f490542759f78.zip | |
Make WebGPU resource creation fully async
Remove some garbage code in adapter id checks
Prevent panic during shutdown if using WebGPU
Diffstat (limited to 'components/webgpu/identity.rs')
| -rw-r--r-- | components/webgpu/identity.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/components/webgpu/identity.rs b/components/webgpu/identity.rs index 590007dc33f..2b40ff5a9bc 100644 --- a/components/webgpu/identity.rs +++ b/components/webgpu/identity.rs @@ -31,6 +31,7 @@ pub enum WebGPUMsg { FreeSampler(SamplerId), FreeSurface(SurfaceId), FreeShaderModule(ShaderModuleId), + Exit, } #[derive(Debug)] |