diff --git a/src/launcher/main.rs b/src/launcher/main.rs index ecbf58576f90b877e26030ba625299c2f8790c3e..bd43a7f147ce90c8d6a8e0cf422cf4052971684a 100644 --- a/src/launcher/main.rs +++ b/src/launcher/main.rs @@ -442,7 +442,7 @@ fn bar_main() { event_queue.run().expect("launcher: failed to run event loop"); - for mut child in bar.borrow_mut().children.iter_mut() { + for child in bar.borrow_mut().children.iter_mut() { let pid = child.id(); match child.kill() { Ok(()) => (),