rust/hwrunner/src/main.rs
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();
     }
 }