rust/chg/src/uihandler.rs
changeset 40119 e70b616a077b
parent 39974 a9c5fc436fd5
child 43818 ce088b38f92b
--- a/rust/chg/src/uihandler.rs	Mon Sep 24 22:04:57 2018 +0900
+++ b/rust/chg/src/uihandler.rs	Mon Sep 24 22:19:49 2018 +0900
@@ -53,6 +53,10 @@
             .spawn_async()?;
         let pin = pager.stdin().take().unwrap();
         procutil::set_blocking_fd(pin.as_raw_fd())?;
+        // TODO: if pager exits, notify the server with SIGPIPE immediately.
+        // otherwise the server won't get SIGPIPE if it does not write
+        // anything. (issue5278)
+        // kill(peerpid, SIGPIPE);
         tokio::spawn(pager.map(|_| ()).map_err(|_| ()));  // just ignore errors
         Ok((self, pin))
     }