···104104105105106106stdio:
107107- Output is written to a file. No input is ever provided.
107107+ Output is written to a file. Input is read from a file.
108108109109 file=<filename>
110110 Set the output file name.
···114114115115 flush=[0|1]
116116 If true, flush the output file whenever data is written.
117117+118118+ read=<filename>
119119+ Set the input file name.
120120+121121+ write=<filename>
122122+ Set the output file name. This option is synonymous to
123123+ the "file" options.
117124118125119126tcp: