changeset 14334 | 7ae81969330f |
parent 14293 | b8871dd33ec4 |
child 14702 | 29dbe9ce8b7d |
--- a/rust/hwrunner/src/main.rs Wed Nov 28 18:01:21 2018 +0100 +++ b/rust/hwrunner/src/main.rs Wed Nov 28 21:10:18 2018 +0300 @@ -10,7 +10,8 @@ use gfx::{ texture, format, - Encoder + Encoder, + Device }; use gfx_window_glutin::init_existing; @@ -62,5 +63,6 @@ encoder.flush(&mut device); window.swap_buffers().unwrap(); + device.cleanup(); } }