From 0f7a3df11735af6ddadf32154b5452d4e6d8fe9e Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 26 Jul 2020 01:30:05 +0100
Subject: [PATCH] wip cmds

---
 src/cmdlistener.rs | 15 +++++----------
 1 file changed, 5 insertions(+), 10 deletions(-)

diff --git a/src/cmdlistener.rs b/src/cmdlistener.rs
index 07d1736f..651546ed 100644
--- a/src/cmdlistener.rs
+++ b/src/cmdlistener.rs
@@ -36,16 +36,11 @@ type CSE = anyhow::Error;
 impl CommandStream<'_> {
   #[throws(CSE)]
   pub fn mainloop(mut self) {
-    loop {
-      match self.read.next() {
-        None => break,
-        Some(l) => {
-          let l = l.context("read")?;
-          decode_and_process(&mut self, &l)?;
-          write!(&mut self.write, "\n")?;
-          self.write.flush()?;
-        },
-      }
+    while let Some(l) = self.read.next() {
+      let l = l.context("read")?;
+      decode_and_process(&mut self, &l)?;
+      write!(&mut self.write, "\n")?;
+      self.write.flush()?;
     }
   }
 }
-- 
2.30.2