File#openInputStream reads entire file, rather than streaming #3334
Description
This issue was originally filed by [email protected]
This is easy to reproduce, open a large file and you will exhaust memory.
import('dart:io');
main() {
var opts = new Options();
var trace_file = new File(opts.arguments[0]);
var input_stream = trace_file.openInputStream();
}