# HG changeset patch # User alfadur # Date 1543428618 -10800 # Node ID 7ae81969330fb93ed9b1ba24a46971449f6e409b # Parent 918a0f2980515b85c13dea2e86d58db1d3ee2108 ?? diff -r 918a0f298051 -r 7ae81969330f rust/hwrunner/src/main.rs --- 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(); } }