redef fun read_char do return stream_in.read_char
+ redef fun read_byte do return stream_in.read_byte
+
redef fun eof do return stream_in.eof
redef fun pipeflags do return 2
redef fun execute
do
super
- stream_out = new FileWriter.from_fd(data.in_fd)
+ var out = new FileWriter.from_fd(data.in_fd)
+ out.set_buffering_mode(0, sys.buffer_mode_none)
+ stream_out = out
end
end