#1028: do not re-parse file when using open_one_input_file_at_a_time -------------------------+-------------------------------------------------- Reporter: rhaas | Owner: eschnett Type: enhancement | Status: new Priority: minor | Milestone: Component: Carpet | Version: Keywords: | -------------------------+-------------------------------------------------- this patch retains the patch map created when reading a file even when the file itself is closed due to open_one_input_file_at_a_time. Since parsing the file is slow this can considerably speed up open_one_input_file_at_a_time.