- redef fun write(s) do _out.write(s)
-
- init(command: String, arguments: String...)
- do
- execute(command, arguments, 1)
- _out = new FDOStream(_data.in_fd)
- end
-
- init init_(command: String)
+ redef fun write(s) do stream_out.write(s)
+
+ redef fun pipeflags do return 1
+
+ redef init(command: String, arguments: String...) do super
+
+ redef fun execute