Flush for Redox stdin_of

src/shell/pipe.rs

@@ -105,6 +105,7 @@ pub mod crossplat {
         // Write the contents; make sure to use write_all so that we block until
         // the entire string is written
         infile.write_all(input.as_ref())?;
+        infile.flush()?;
         // `infile` currently owns the writer end RawFd. If we just return the reader end
         // and let `infile` go out of scope, it will be closed, sending EOF to the reader!
         Ok(Stdio::from_raw_fd(reader))